Sciweavers

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

27

CSL
2004
Springer

favoriteEmaildiscussreport

138views Automated Reasoning» more CSL 2004»

Automated Generation of Analytic Calculi for Logics with Linearity

14 years 1 months ago

Automated Generation of Analytic Calculi for Logics with Linearity

Download www.logic.at

Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from existing (single-conclusion) cut-free sequent calculi for the corresponding logics without (lin). As a corollary, we deﬁne an analytic calculus for Strict Monoidal T-norm based Logic SMTL.

Agata Ciabattoni

Real-time Traffic

Analytic Hypersequent Calculi | CSL 2004 | Cut-free Sequent Calculi | Logic |

claim paper

Related Content

» From Axioms to Analytic Rules in Nonclassical Logics

» From Action Calculi to Linear Logic

» Structural Cut Elimination

» Sequent Calculi for Temporal Logics of Common Knowledge and Belief

» Simulation and Synthesis of Deduction Calculi

» Automated Synthesis of Tableau Calculi

» Focalisation and Classical Realisability

» Expanding the Realm of Systematic Proof Theory

» The Theory of Calculi with Explicit Substitutions Revisited

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	CSL
Authors	Agata Ciabattoni

Comments (0)