From Axioms to Analytic Rules in Nonclassical Logics
Top Cited Papers
- 1 June 2008
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 10436871,p. 229-240
- https://doi.org/10.1109/lics.2008.39
Abstract
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automated generation of analytic calculi for a wide range of prepositional nonclassical logics including intermediate, fuzzy and substructural logics. Our work encompasses many existing results, allows for the definition of new calculi and contains a uniform semantic proof of cut-elimination for hypersequent calculi.Keywords
This publication has 15 references indexed in Scilit:
- Sequent and hypersequent calculi for abelian and łukasiewicz logicsACM Transactions on Computational Logic, 2005
- Algebraic Aspects of Cut EliminationStudia Logica, 2004
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logicsTheoretical Computer Science, 2002
- Monoidal t-norm based logictowards a logic for left-continuous t-normsFuzzy Sets and Systems, 2001
- Hypersequent Calculi for some Intermediate Logics with Bounded Kripke ModelsJournal of Logic and Computation, 2001
- Basic logic: reflection, symmetry, visibilityThe Journal of Symbolic Logic, 2000
- Extending intuitionistic linear logic with knotted structural rules.Notre Dame Journal of Formal Logic, 1994
- Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation, 1992
- Hypersequents, logical consequence and intermediate logics for concurrencyAnnals of Mathematics and Artificial Intelligence, 1991
- Untersuchungen ber das logische Schlie en. IIMathematische Zeitschrift, 1935