Rascunho Sobre os cálculos de predicados de Vasil'év
- BR SPCLEARQ FAIA-PIm-V-IT381
- Item
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
1786 resultados com objetos digitais Exibir resultados com objetos digitais
Rascunho Sobre os cálculos de predicados de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA Silogística de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
N.A. Vasilév: a forerunner of Paraconsistent Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
N.A. Vasilév: a forerunner of Paraconsistent Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Críticas de Smirnov à lógica de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1=
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur la Théorie des Sytèmes Formels Inconsistants
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Resumo de AIA intitulado On Griss' Propositional Calculus
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Observações sobre o conjunto de Russell
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Luiz Paulo de Alcântara para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo sobre a completude de C+
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA Capítulo I: Os Cálculos Cn
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Álgebras de conjuntos não-clássicas
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Maria da Graça Rodrigues
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Luiz Paulo de Alcântara para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Ofício GR n. 329/83 de José Aristodemo Pinotti
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de J.C. Kuipers para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Cecylia Rauszer para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda