- BR SPCLEARQ FAIA-PIm-SC-IT392
- Item
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
19 resultados com objetos digitais Exibir resultados com objetos digitais
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
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Observações sobre o conjunto de Russell
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Resumo de AIA intitulado On Griss' Propositional Calculus
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
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
Une sémantique pour le calcul C1=
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
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
Juízos sobre fatos, comparando elementos da lógica aristotélica e de 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
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
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
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
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
Estudo de AIA Silogística de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Rascunho Sobre os cálculos de predicados de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA sobre a silogística de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA sobre Vasil'ev e a lógica paraconsistente
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA Desenvolvimento de C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA, Sobre a Lógica da Vaguidade
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda