The Community for Technology Leaders
Logic in Computer Science, Symposium on (2008)
June 24, 2008 to June 27, 2008
ISSN: 1043-6871
ISBN: 978-0-7695-3183-0
pp: 229-240
ABSTRACT
We introduce a systematic procedure to transform large classesof (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 propositional 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.
INDEX TERMS
nonclassical logics, sequent calculi, hypersequent calculi, semantic cut-elimination
CITATION

A. Ciabattoni, N. Galatos and K. Terui, "From Axioms to Analytic Rules in Nonclassical Logics," 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)(LICS), Pittsburgh, PA, 2008, pp. 229-240.
doi:10.1109/LICS.2008.39
95 ms
(Ver 3.3 (11022016))