Ternary relations and relevant semantics

DOI10.1016/j.apal.2003.11.015zbMath1060.03039MaRDI QIDQ598309

Robert K. Meyer

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.015

zbMATH Keywords

relevant logic; fusion; combinators; combinatory logic; ternary relation; bunch; key2u theorem; relevant entailment

Mathematics Subject Classification ID

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

08A02: Relational systems, laws of composition

03B40: Combinatory logic and lambda calculus

Related Items

Combinatory logic and the semantics of substructural logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Principal type schemes for an extended type theory
• Implementing the `Fool's model' of combinatory logic
• Models for entailment
• Classical relevant logics. II
• The semantics of entailment. III
• Cut-elimination theorem for relevant logics
• The semantics of entailment omega
• Begründung einer strengen Implikation
• The Mathematics of Sentence Structure
• A filter lambda model and the completeness of type assignment
• Solution to the P − W problem
• Logic for Equivocators
• Semantics for relevant logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi