Re: [Logica-l] Re: um probleminha com logica intuicionista...

oi Andrea! bom ler voce!!! e bom lembrar que o seus sistemas funcionam. ajuda bastante mesmo! pra ajudar mais, o que o Google me contou sobre os seus papers (que nao custava nada colocar no website do sistema tb, ne?) mas os links abaixo nao estao todos funcionando, dai que o requerido pra ler

Re: [Logica-l] Re: um probleminha com logica intuicionista...

Marcelo, caro, é por essas e outras que crianças e velhinhas, especialmente as inteligentes, se dão tão bem! Em 24 de outubro de 2017 20:59, Marcelo Finger escreveu: > Andreia. > > Demorou um pouquinho mas acho que entendi seus jogos de palavras. É o tipo > de trocadilho

Re: [Logica-l] Re: um probleminha com logica intuicionista...

Andreia. Demorou um pouquinho mas acho que entendi seus jogos de palavras. É o tipo de trocadilho que meu filho de 12 anos faz :) Pequins Marcelo 2017-10-24 20:48 GMT-02:00 Andrea Loparic : > Caros, > > Aproveitando o trend legal sobre o intuicionismo, venho lembrar, >

Re: [Logica-l] Re: um probleminha com logica intuicionista...

Caros, Aproveitando o trend legal sobre o intuicionismo, venho lembrar, para os mais novos especialmente, que, com base em semânticas de valorações bivalentes corretas e completas que obtive outrora, para os cálculos proposicionais minimal (Johanssen-Kolmogoroff) e intucionista (Heyting), meu

[Logica-l] Fwd: Concurso Docente - UnB (Lógica Computacional e Inteligência Artificial)

-- Forwarded message -- Prezada(o)s, Solicitamos ajuda na divulgação (desculpem-nos pelas eventuais duplicatas): Estão abertas as inscrições do concurso público para professor Adjunto "A", Classe 1, da Universidade de Brasilia (UnB), Faculdade do Gama (FGA), para o Baracharelado

[Logica-l] Re: um probleminha com logica intuicionista...

> > A sintaxe do sistema é brevemente explicada aqui > . Uma pequena correção: o link acima está quebrado (obrigado por me avisar, Eduardo!), o endereço correto do README é este aqui

Re: [Logica-l] um probleminha com logica intuicionista...

Cara Valéria, Infelizmente, não há atalhos para os anéis de Gelfand; entretanto, exemplares importantes são os anéis (ou álgebras) de funções reais contínuas sobre um espaço compacto Hausdorff. Só aí já da para ter uma idéia da complexidade. Por sinal, para estes a resposta à pergunta que

Re: [Logica-l] um probleminha com logica intuicionista...

Cara Valéria, Voce tem razão acerca do "typo". Quanto à adjunção associada à disjunção, esta é a razão de ter te enviado o texto... Um abraço, Chico Miraglia Quoting Valeria de Paiva : oi Chico, "typo" na primeira linha da sua mensagem O esquema (A --> B)

[Logica-l] Re: um probleminha com logica intuicionista...

Oi Valéria, Acrescentando meus dois centavos: Nos últimos anos comecei a brincar um pouco com uma implementação de um checador de tipos em C, o resultado foi um mini checador de tipos "for fun" para uma versão extendida do Cálculo lambda simplesmente tipado. Batizei o pequeno sistema de

Re: [Logica-l] um probleminha com logica intuicionista...

Concordo completamente com o Marcelo: Chico, por favor escreva mais! (gostaria de entender o exemplo " anéis de Gelfand (aqueles comutativos com unidade tais que que por cima de todo ideal há apenas um maximal) são, intuicionisticamente, fielmente quadráticos (possuem uma teoria de formas

Re: [Logica-l] um probleminha com logica intuicionista...

oi Chico, "typo" na primeira linha da sua mensagem >O esquema (A --> B) --> (Ng A --> Ng B) é válido no Intucionismo, (versão Heyting); voce quiz dizer (A --> B) --> (Ng B --> Ng A), certo? e sim, gosto bastante das algebras de Heyting e claro que concordo totalmente com: >Como voce sabe muito

Re: [Logica-l] Re: Collected Works by Charles S. Peirce

Muito obrigado, caríssimo Jean-Yves! Aliás, uma vez mais muito obrigado a todos que atenciosamente me responderam em particular. Só para explicar: eu tinha um problema com autores que citam o Peirce, mas não dizem de que trabalho vem esta ou aquela citação. Às vezes indicam só o ano do

Re: [Logica-l] um probleminha com logica intuicionista...

Caro Marcelo, Obrigado!! Abraços, Chico Quoting Marcelo Finger : Chico. Adorei seu post. Apenas 2 comentários rápidos 4) Interessante observar que posições filosóficas não se materializam na "prática quotidiana dos matemáticos": Isso é um fenômeno humano, não

Re: [Logica-l] um probleminha com logica intuicionista...

Chico. Adorei seu post. Apenas 2 comentários rápidos > 4) Interessante observar que posições filosóficas não se materializam na "prática quotidiana dos matemáticos": Isso é um fenômeno humano, não apenas matemático. O mundo das ideias e práticas humanas é um campo fértil para a prática

[Logica-l] Why Priest’s Attack on Classical Negation Can’t Succeed

Publicado há pouco na Logica Universalis: Classical Negation Strikes Back: Why Priest’s Attack on Classical Negation Can’t Succeed Jonas R. Becker Arenhart amd Ederson Safra Melo https://link.springer.com/article/10.1007/s11787-017-0178-z -- Você está recebendo esta mensagem porque se inscreveu

[Logica-l] Re: Collected Works by Charles S. Peirce

Ola Tony Na pagina do tutorial sobre Peirce no UNILOG'2018 que vai ser apresentado por William James McCurdy voce vai encontrar links para os escritos do Peirce que estão on-line e muito mais http://www.uni-log.org/ULS6-peirce.html A ideia do nosso site do UNILOG http://www.uni-log.org/ é

Re: [Logica-l] um probleminha com logica intuicionista...

Prezados Hermógenes e Valéria, Em matemática, quando você quer provar A => B por "contrapositivo", você prova \neg B => \neg A. Ou seja, você usa que \neg B => \neg A => (A => B) é válida. Isso é equivalente a adicionar a dupla negação ao seu sistema lógico. Eu aprendi assim: que a "lei do

Re: [Logica-l] um probleminha com logica intuicionista...

Valeria de Paiva escreveu: [... ] (¬φ → ¬χ) → (χ → φ) (Law of contraposition) mas essa ultima assercao nao 'e o que eu chamaria de contraposicao. Contraposicao usual 'e valida em logical intuicionista. o que acontece e' que essa assercao combina contraposicao com

Re: [Logica-l] um probleminha com logica intuicionista...

Cara Valéria, Observações que talvez possam ser úteis: 1) O esquema (A --> B) --> (Ng A --> Ng B) é válido no Intucionismo, (versão Heyting); as álgebras de Heyting fornecem uma semântica completa para a versão do Intuicionismo do Arend; 2) Adicionar o esquema recíproco à axiomatização de