scientific article; zbMATH DE number 1138593

MaRDI QIDQ4383724zbMATH OpenFDO

Authors Bayu Surarso, Hiroakira Ono

Publication date 2 April 1998

zbMATH Keywords

cut-eliminationLambek logicnoncommutative extensionsnoncommutative logicrelevant logicsequent calculisubstructural logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 1418443
• Towards an algorithmic construction of cut-elimination procedures
• scientific article; zbMATH DE number 1377699
• Cut elimination and strong separation for substructural logics: an algebraic approach

Cited in

(22)

• Investigations into a left-structural right-substructural sequent calculus
• Substructural implicational logics including the relevant logic E
• Cut elimination theorems and a canonical model construction for some implicational substructural logics
• Non-Commutative First-Order Sequent Calculus
• scientific article; zbMATH DE number 742720 (Why is no real title available?)
• Cut elimination theorem for non-commutative hypersequent calculus
• scientific article; zbMATH DE number 6863649 (Why is no real title available?)
• scientific article; zbMATH DE number 1361537 (Why is no real title available?)
• scientific article; zbMATH DE number 1377699 (Why is no real title available?)
• scientific article; zbMATH DE number 1841813 (Why is no real title available?)
• Relevance Principle for Substructural Logics with Mingle and Strong Negation
• scientific article; zbMATH DE number 1418443 (Why is no real title available?)
• One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
• Extended Kripke lemma and decidability for hypersequent substructural logics
• Subexponentials in non-commutative linear logic
• Which structural rules admit cut elimination? An algebraic criterion
• Natural deduction systems for some non-commutative logics
• Cut Elimination and Decidability for Classical Lambek Logic
• Towards an algorithmic construction of cut-elimination procedures
• A syntactic approach to Maksimova's principle of variable separation for some substructural logics
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Relational models for the Lambek calculus with local contraction subexponentials

This page was built for publication:

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