Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
- BR SPCLEARQ FAIA-PIm-V-IT373
- Item
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
1731 resultados com objetos digitais Exibir resultados com objetos digitais
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
Estudo de AIA sobre dualidade entre C1 e C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Cálculo de predicados de ordem superior
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Capítulo I: Cálculo Proposicional
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Capítulo II: Cálculo Proposicional
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Decidibilidade do cálculo implicativo clássico
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Decidibilidade do cálculo implicativo clássico
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Várias axiomáticas para o cálculo proposicional clássico
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda