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
Lógica Imaginária (Não-Aristotélica)
Lógica Imaginária (Não-Aristotélica)
Lógica e Metalógica
Lógica e Metalógica
Matemática "moderna": Um erro educacional e filosófico?
Matemática "moderna": Um erro educacional e filosófico?
Relatório de Joseph Donald Sneed
Relatório de Joseph Donald Sneed
O ponto de vista lógico de N.A. Vasil’év
O ponto de vista lógico de N.A. Vasil’év
Las concepciones logicas de N.A. Vasil’év
Las concepciones logicas de N.A. Vasil’év
As concepções lógicas de N.A. Vasil’év
As concepções lógicas de N.A. Vasil’év
Rehabilitating Meinong’s Theory of Objects
Rehabilitating Meinong’s Theory of Objects
Arruda-da Costa P Systems And Adjacent Non-Replacement Systems
Arruda-da Costa P Systems And Adjacent Non-Replacement Systems
Projeto Sistemas de Bibliotecas da Unicam
Projeto Sistemas de Bibliotecas da Unicam
Estudo de Andréa Loparic
Estudo de Andréa Loparic
Une étude sémantique de quelques calculs propositionnels
Une étude sémantique de quelques calculs propositionnels
Tradução do artigo de Jean Leray
Tradução do artigo de Jean Leray
Generalization of some results of Elie Sanchez
Generalization of some results of Elie Sanchez
Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik
Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik
Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos
Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos
Teorias Recursivas, Creativas y Productivas
Teorias Recursivas, Creativas y Productivas
Gödel’s collected works (A.S.L. Project)
Gödel’s collected works (A.S.L. Project)
Tradução do artigo de Jean Dieudonné
Tradução do artigo de Jean Dieudonné
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Estudo contendo vários teoremas
Estudo contendo vários teoremas
Estudo contendo demonstrações de vários teoremas
Estudo contendo demonstrações de vários teoremas
Teoria de Conjuntos R e cálculos diversos
Teoria de Conjuntos R e cálculos diversos
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Estudo sobre a regra do modus ponens
Estudo sobre a regra do modus ponens
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Caderno contendo anotações sobre lógicas relevante
Caderno contendo anotações sobre lógicas relevante
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
