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
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.
nonclassical logics, sequent calculi, hypersequent calculi, semantic cut-elimination
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui, "From Axioms to Analytic Rules in Nonclassical Logics", Logic in Computer Science, Symposium on, vol. 00, no. , pp. 229-240, 2008, doi:10.1109/LICS.2008.39
99 ms
(Ver )