scientific article; zbMATH DE number 218501

MaRDI QIDQ4694214zbMATH OpenFDO

Authors Hiroakira Ono

Publication date 29 June 1993

zbMATH Keywords

BCK logiccategorial grammarlambda calculusLambek calculuslinear logicsequent calculusstructural rules

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Logic and structure
• Logic and structure
• The logic of structures
• Structural rules for abduction
• scientific article; zbMATH DE number 753776
• Logic and structure.
• Logic and structure.
• Types for Proofs and Programs

Cited in

(30)

• Investigations into a left-structural right-substructural sequent calculus
• The contraction rule and decision problems for logics without structural rules
• A decision procedure revisited: Notes on direct logic, linear logic and its implementation
• Lambek calculus with restricted contraction and expansion
• Modal translations in substructural logics
• Principal types of BCK-lambda-terms
• Residuation, structural rules and context freeness
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Relation algebras as expanded FL-algebras
• Proof complexity of substructural logics
• Duality results for (co)residuated lattices
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Editorial introduction: substructural logics and metainferences
• Construction Methods for Uninorms via Rotation, Rotation-Annihilation, and Twin Rotation
• Note on Structural Logics
• Linear Logic and Lukasiewicz ℵ₀- Valued Logic: A Logico-Algebraic Study
• scientific article; zbMATH DE number 1377699 (Why is no real title available?)
• scientific article; zbMATH DE number 6163273 (Why is no real title available?)
• An interpretation of full Lambek calculus in its variant without empty antecedents of sequents
• A classification of certain group-like \(\mathrm{FL}_e\)-chains
• scientific article; zbMATH DE number 3894800 (Why is no real title available?)
• Modal translation of substructural logics
• The hidden structural rules of the discontinuous Lambek calculus
• A syntactic approach to Maksimova's principle of variable separation for some substructural logics
• Structural rules and resource control in logic and computation
• Cut elimination and strong separation for substructural logics: an algebraic approach
• A minimal classical sequent calculus free of structural rules
• Universal proof theory: semi-analytic rules and Craig interpolation
• Proof theory of abelian connexive logics
• Universal proof theory: semi-analytic rules and uniform interpolation

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