scientific article; zbMATH DE number 1418443

zbMATH Open0951.03022MaRDI QIDQ4941998FDOQ4941998

Authors Hiroakira Ono

Publication date 26 December 2000

zbMATH Keywords

linear logicmodus ponenscut eliminationfusioncontraction rulerelevant logicsextensions of Lambek calculusnoncommutative substructural 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) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Subexponentials in non-commutative linear logic
• On noncommutative extensions of linear logic
• A logical framework with commutative and non-commutative subexponentials
• scientific article; zbMATH DE number 1138593
• Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
• Non-commutative logical algebras and algebraic quantales
• Non-commutative logic II: sequent calculus and phase semantics
• Noncommutative linear logic and its quantale semantics
• Non-commutative Łukasiewicz propositional logic

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 Q4941998)