Combinators and structurally free logic

DOI10.1093/jigpal/5.4.505zbMath0878.03008OpenAlexW2153111627MaRDI QIDQ4353718

Robert K. Meyer, J. Michael Dunn

Publication date: 15 December 1997

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/b32acbbe0ae7d5b68510fbd5cf2a5cdfd8d12823

zbMATH Keywords

semanticscompleteness theoremsubstructural logicsrelevance logiccombinatory logicGentzen systemcut theoremnon-associative Lambek calculusgagglecombinatory posetframes with a ternary accessibility relation

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Combinatory logic and lambda calculus (03B40)

Related Items (24)

Current trends in substructural logics ⋮ Australasian Association for Logic 1997 Annual Conference ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ Combinatory logic and the semantics of substructural logics ⋮ The Relevance of Relevance to Relevance Logic ⋮ On structural features of the implication fragment of Frege's \textit{Grundgesetze} ⋮ Symmetric generalized Galois logics ⋮ On the ternary relation and conditionality ⋮ \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs ⋮ Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic ⋮ Tracking Information ⋮ A “Reply” to My “Critics” ⋮ The Church-Rosser property in symmetric combinatory logic ⋮ On the decidability of implicational ticket entailment ⋮ New consecution calculi for \(R^{t}_{\to}\) ⋮ Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment ⋮ Lambek calculus with conjugates ⋮ The Church-Rosser property in dual combinatory logic ⋮ Semantics for dual and symmetric combinatory calculi ⋮ 1998 Spring Meeting of the Association for Symbolic Logic ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras ⋮ Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic ⋮ Admissibility of cut in LC with fixed point combinator ⋮ Relational semantics for Kleene logic and action logic

This page was built for publication: Combinators and structurally free logic