Alternative semantics for quantified first degree relevant logic
From MaRDI portal
Publication:1257474
DOI10.1007/BF00370443zbMath0406.03033MaRDI QIDQ1257474
Publication date: 1979
Published in: Studia Logica (Search for Journal in Brave)
Related Items (5)
Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ Relevance and verisimilitude ⋮ Semantical analysis of Arruda da Costa P systems and adjacent non- replacement relevant systems ⋮ Richard (Routley) Sylvan: Writings on Logic and Metaphysics ⋮ Rules in relevant logic. I: Semantic classification
Cites Work
- Completeness of relevant quantification theories
- First degree entailments
- A semantical analysis of implicational system I and of the first degree of entailment
- On the definition of ‘formal deduction’
- Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
- Intensional models for first degree formulas
- Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Alternative semantics for quantified first degree relevant logic
