Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
On the Undecidability of some Sub-Classical First-Order Logics
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Analytic Calculi for Projective Logics
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Bounded Contraction in Systems with Linearity
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Agents via Mixed-Mode Computation in Linear Logic
Annals of Mathematics and Artificial Intelligence
Analytic calculi for monoidal t-norm based logic
Fundamenta Informaticae
Sequent and hypersequent calculi for abelian and łukasiewicz logics
ACM Transactions on Computational Logic (TOCL)
Hypersequent Calculus for Intuitionistic Logic with Classical Atoms
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Tableaux and Hypersequents for Justification Logic
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
Modular Sequent Systems for Modal Logic
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Conditional and Preferential Logics: Proof Methods and Theorem Proving
Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving
How to universally close the existential rule
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Representations of structural closure operators
Archive for Mathematical Logic
Label-free proof systems for intuitionistic modal logic IS5
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
A lambda calculus for gödel---dummett logic capturing waitfreedom
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Analytic Calculi for Monoidal T-norm Based Logic
Fundamenta Informaticae
Proof theory for locally finite many-valued logics: Semi-projective logics
Theoretical Computer Science
Studia Logica
From Frame Properties to Hypersequent Rules in Modal Logics
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |