Showing 599 results

Archival description
Ayda Ignez Arruda
Print preview View:

6 results with digital objects Show results with digital objects

Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"
Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"
Estudo de AIA Desenvolvimento de C1
Estudo de AIA Desenvolvimento de C1
Aplicação de Matrizes
Aplicação de Matrizes
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Introdução: 3 – Matrizes
Introdução: 3 – Matrizes
Matrizes
Matrizes
Várias axiomáticas para o cálculo proposicional clássico
Várias axiomáticas para o cálculo proposicional clássico
Artigo cálculos proposicionais
Artigo cálculos proposicionais
Observações sobre um sistema sem a regra do modus ponens
Observações sobre um sistema sem a regra do modus ponens
Relevance Logic and the Schema of Separation
Relevance Logic and the Schema of Separation
Semântica para D1
Semântica para D1
Sistema DL
Sistema DL
Sistemas formais inconsistentes e teorias de conjuntos
Sistemas formais inconsistentes e teorias de conjuntos
Sobre Certos Sistemas de Lógica Relevante
Sobre Certos Sistemas de Lógica Relevante
Teorema de Completude para teorias de primeira ordem
Teorema de Completude para teorias de primeira ordem
Unidade de opostos
Unidade de opostos
Notas para a História da Lógica, História, e Variedades da Lógica
Notas para a História da Lógica, História, e Variedades da Lógica
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Teorias Recursivas, Creativas y Productivas
Teorias Recursivas, Creativas y Productivas
Rehabilitating Meinong’s Theory of Objects
Rehabilitating Meinong’s Theory of Objects
O ponto de vista lógico de N.A. Vasil’év
O ponto de vista lógico de N.A. Vasil’év
Relatório de Joseph Donald Sneed
Relatório de Joseph Donald Sneed
Matemática "moderna": Um erro educacional e filosófico?
Matemática "moderna": Um erro educacional e filosófico?
Sobre os Juízos Particulares/O Triângulo das Oposições e a Lei do Quarto Excluído
Sobre os Juízos Particulares/O Triângulo das Oposições e a Lei do Quarto Excluído
Notas de aula de Ryszard Wojcicki
Notas de aula de Ryszard Wojcicki
O Intelecto Humano
O Intelecto Humano
A Evolução do Método Axiomático
A Evolução do Método Axiomático
A survey of Paraconsistent Logic
A survey of Paraconsistent Logic
A Survey of Paraconsistent Logic. Mathematical Logic in Latin America
A Survey of Paraconsistent Logic. Mathematical Logic in Latin America
Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics
Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics
Results 181 to 210 of 599