Combinators and structurally free logic

DOI10.1093/JIGPAL/5.4.505MaRDI QIDQ4353718zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cited in

(35)

• On the decidability of implicational ticket entailment
• A ``reply to my ``critics
• Current trends in substructural logics
• scientific article; zbMATH DE number 4127172 (Why is no real title available?)
• scientific article; zbMATH DE number 5667200 (Why is no real title available?)
• scientific article; zbMATH DE number 5722460 (Why is no real title available?)
• Australasian Association for Logic 1997 Annual Conference
• New consecution calculi for \(R^{t}_{\to}\)
• Combinator logics
• Semantics for dual and symmetric combinatory calculi
• Admissibility of cut in LC with fixed point combinator
• The Church-Rosser property in symmetric combinatory logic
• scientific article; zbMATH DE number 1159511 (Why is no real title available?)
• 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
• Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
• 1998 Spring Meeting of the Association for Symbolic Logic
• Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic
• Lambek calculus with conjugates
• Combinatory logic and the semantics of substructural logics
• scientific article; zbMATH DE number 851066 (Why is no real title available?)
• IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
• Semantics for structurally free logics LC+
• Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
• Two extensions of the structurally free logic LC
• Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic
• Nondeterministic and nonconcurrent computational semantics for \(\mathrm{BB}^+\) and related logics
• Relational semantics for Kleene logic and action logic
• Tracking information

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)