Sequent calculus for the intersection of LK and the reversed

MaRDI QIDQ4648720zbMATH OpenFDO

Authors Mitio Takano

Publication date 16 November 2012

Full work available at URL http://www.pphmj.com/abstract/6940.htm

zbMATH Keywords

cut eliminationintersection of calculisequent calculus

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Gentzen's cut-free calculus versus the logic of paradox
• A note on sequent calculi intermediate between LJ and LK
• A minimal classical sequent calculus free of structural rules
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
• scientific article; zbMATH DE number 786494

Cited in

(4)

• Gentzenization of trilattice logics
• Cut-elimination and deductive polarization in complementary classical logic
• L-Completeness of the Lambek Calculus with the Reversal Operation
• Gentzen's cut-free calculus versus the logic of paradox

This page was built for publication: Sequent calculus for the intersection of LK and the reversed

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4648720)