Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Juan Antonio Navarro-Pérez
Encodings of Problems in Effectively Propositional Logic
Related publications
The Axiomatization of Propositional Logic
Formalized Mathematics
Computational Mathematics
Applied Mathematics
Propositional Clausal Defeasible Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Propositional Logic of Temporal Connectives
Logic and Logical Philosophy
Philosophy
Proof Complexity of Propositional Default Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof Complexity of Propositional Default Logic
Archive for Mathematical Logic
Philosophy
Logic
Software for Quantifier Elimination in Propositional Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Philosophical Conception of Propositional Modal Logic
Philosophical Topics
Philosophy
On the Invalidity of Propositional Hetu in Indian Logic
JOURNAL OF INDIAN AND BUDDHIST STUDIES (INDOGAKU BUKKYOGAKU KENKYU)
Expansion Nets: Proof-Nets for Propositional Classical Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
