A framework for defining logics
Journal of the ACM (JACM)
Paraconsistent Declarative Semantics for Extended Logic Programs
Annals of Mathematics and Artificial Intelligence
Labelled Modal Logics: Quantifiers
Journal of Logic, Language and Information
Logical systems for structured specifications
Theoretical Computer Science
Three-Valued Logics for Inconsistency Handling
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Canonical Propositional Gentzen-Type Systems
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Canonical Constructive Systems
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Strict canonical constructive systems
Fields of logic and computation
Representing paraconsistent reasoning via quantified propositional logic
Inconsistency Tolerance
Refutation in dummett logic using a sign to express the truth at the next possible world
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A defeasible reasoning model of inductive concept learning from examples and communication
Artificial Intelligence
Terminating Calculi for Propositional Dummett Logic with Subformula Property
Journal of Automated Reasoning
Hi-index | 0.00 |