Russell's Set Versus the Universal Set in Paraconsistent Set Theory
- BR SPCLEARQ FAIA-PIm-A-IT364
- Item
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
5 resultados com objetos digitais Exibir resultados com objetos digitais
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
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
N.A. Vasilév: a forerunner of Paraconsistent Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA Silogística de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
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 Capítulo I: Os Cálculos Cn
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
Cálculo de predicados de ordem superior
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
Aspects of the Historical Development of Paraconsistent Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Abstract da palestra Implicative Systems and Modus Ponens Rule
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Observações sobre os sistemas NFi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Teorema da Dedução para Teorias de Primeira Ordem
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudos contendo tópicos sobre axiomas
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Caderno contendo anotações sobre lógicas relevante
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Tradução do artigo de Jean Dieudonné
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Gödel’s collected works (A.S.L. Project)
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Tradução do artigo de Jean Leray
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Projeto Sistemas de Bibliotecas da Unicam
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Las concepciones logicas de N.A. Vasil’év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Lógica Imaginária (Não-Aristotélica)
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda