Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"
- BR SPCLEARQ FAIA-PIm-V-IT378
- Item
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
5 resultados com objetos digitais Exibir resultados com objetos digitais
Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA Desenvolvimento de C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
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
Várias axiomáticas para o cálculo proposicional clássico
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Artigo cálculos proposicionais
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Observações sobre um sistema sem a regra do modus ponens
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Relevance Logic and the Schema of Separation
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sistemas formais inconsistentes e teorias de conjuntos
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sobre Certos Sistemas de Lógica Relevante
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Teorema de Completude para teorias de primeira ordem
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Notas para a História da Lógica, História, e Variedades da Lógica
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Teorias Recursivas, Creativas y Productivas
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Rehabilitating Meinong’s Theory of Objects
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
O ponto de vista lógico de N.A. Vasil’év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Relatório de Joseph Donald Sneed
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Matemática "moderna": Um erro educacional e filosófico?
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sobre os Juízos Particulares/O Triângulo das Oposições e a Lei do Quarto Excluído
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Notas de aula de Ryszard Wojcicki
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
A Evolução do Método Axiomático
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
A survey of Paraconsistent Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
A Survey of Paraconsistent Logic. Mathematical Logic in Latin America
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda