The Community for Technology Leaders
RSS Icon
Subscribe
Pittsburgh, PA
June 24, 2008 to June 27, 2008
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
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui, "From Axioms to Analytic Rules in Nonclassical Logics", LICS, 2008, 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) 2008, pp. 229-240, doi:10.1109/LICS.2008.39
47 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool