Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

LICS
2008
IEEE

favoriteEmaildiscussreport

200views Automated Reasoning» more LICS 2008»

From Axioms to Analytic Rules in Nonclassical Logics

13 years 10 months ago

From Axioms to Analytic Rules in Nonclassical Logics

Download www.logic.at

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 propositional nonclassical logics including intermediate, fuzzy and substructural logics. Our work encompasses many existing results, allows for the deﬁnition of new calculi and contains a uniform semantic proof of cutelimination for hypersequent calculi.

Agata Ciabattoni, Nikolaos Galatos, Kazushige Teru

Real-time Traffic

Analytic Calculi | Computer Science | Hypersequent Calculi | LICS 2008 | Propositional Nonclassical Logics |

claim paper

Related Content

» Expanding the Realm of Systematic Proof Theory

» Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method

» Automated Generation of Analytic Calculi for Logics with Linearity

» Arithmetic as a Theory Modulo

» Establishing Logical Rules from Empirical Data

» On the complexity of propositional logics with an involutive negation

» Schemata The Concept of Schema in the History of Logic

» Compiling Causal Theories to Successor State Axioms and STRIPSLike Systems

Post Info
More Details (n/a)

Added	31 May 2010
Updated	31 May 2010
Type	Conference
Year	2008
Where	LICS
Authors	Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui

Comments (0)