Ternary relations and relevant semantics

DOI10.1016/j.apal.2003.11.015zbMath1060.03039OpenAlexW1996113466MaRDI 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 logicfusioncombinatorscombinatory logicternary relationbunchkey2u theoremrelevant entailment

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Relational systems, laws of composition (08A02) Combinatory logic and lambda calculus (03B40)

Related Items

Current trends in substructural logics ⋮ Combinatory logic and the semantics of substructural logics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Constrained consequence

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