Ternary relations and relevant semantics
From MaRDI portal
Publication:598309
DOI10.1016/j.apal.2003.11.015zbMath1060.03039MaRDI QIDQ598309
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
relevant logic; fusion; combinators; combinatory logic; ternary relation; bunch; key2u theorem; relevant entailment
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
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item