Combinators and structurally free logic

DOI10.1093/JIGPAL/5.4.505zbMATH Open0878.03008OpenAlexW2153111627MaRDI QIDQ4353718FDOQ4353718

Authors: J. Michael Dunn, Robert K. Meyer 

Publication date: 15 December 1997

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

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

Recommendations

• Combinatory logic and the semantics of substructural logics
• Combinator logics
• Semantics for structurally free logics LC+

zbMATH Keywords

semanticscombinatory logiccompleteness theoremsubstructural logicsrelevance logicGentzen systemcut theoremnon-associative Lambek calculusgagglecombinatory posetframes with a ternary accessibility relation

Mathematics Subject Classification ID

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) Other algebras related to logic (03G25)

Cited In (34)

• A ``reply to my ``critics
• Title not available (Why is that?)
• Current trends in substructural logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Australasian Association for Logic 1997 Annual Conference
• New consecution calculi for \(R^{t}_{\to}\)
• Combinator logics
• Semantics for dual and symmetric combinatory calculi
• The Church-Rosser property in symmetric combinatory logic
• Admissibility of cut in LC with fixed point combinator
• Title not available (Why is that?)
• The relevance of relevance to relevance logic
• On structural features of the implication fragment of Frege's \textit{Grundgesetze}
• The Church-Rosser property in dual combinatory logic
• On the ternary relation and conditionality
• Symmetric generalized Galois logics
• A combinatory account of internal structure
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
• Single-domain free logic and the problem of compositionality
• 1998 Spring Meeting of the Association for Symbolic Logic
• Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
• Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic
• Lambek calculus with conjugates
• Title not available (Why is that?)
• IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
• Combinatory logic and the semantics of substructural logics
• Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
• Semantics for structurally free logics LC+
• Two extensions of the structurally free logic LC
• Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic
• Relational semantics for Kleene logic and action logic
• Tracking information
• On the decidability of implicational ticket entailment

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

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