Publication:4805593
From MaRDI portal
zbMath1028.03018MaRDI QIDQ4805593
Publication date: 7 May 2003
relational semantics; decidability; Lambek calculus; linear logic; natural deduction; relevant logic; substructural logics; cut-elimination
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03F05: Cut-elimination and normal-form theorems
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors, Which structural rules admit cut elimination? An algebraic criterion, Substructural fuzzy logics, LK, LJ, dual intuitionistic logic, and quantum logic, Ternary relations and relevant semantics, Towards a semantic characterization of cut-elimination, A positive information logic for inferential information, Restricted arrow, Cut and pay, Relevant restricted quantification, Logics with disjunction and proof by cases, Inferentializing semantics, Constructive logic with strong negation is a substructural logic. II, Types as graphs: Continuations in type logical grammar, Investigations into a left-structural right-substructural sequent calculus, An encompassing framework for paraconsistent logic programs, Associatively tied implications., Possible worlds and resources: The semantics of \(\mathbf{BI}\), Propositional calculus under adjointness, What is the logic of inference?, Sufficient conditions for cut elimination with complexity analysis, Logical pluralism and semantic information, Conditionals and consequences, The logic of tied implications. I: Properties, applications and representation, Variations on a theme of Curry, Issues on adjointness in multiple-valued logics, A small set of axioms for residuated logic, An Analytic Logic of Aggregation, A constructive negation for logics including TW+