Alternative semantics for quantified first degree relevant logic
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3122413 (Why is no real title available?)
- scientific article; zbMATH DE number 3652306 (Why is no real title available?)
- scientific article; zbMATH DE number 3482304 (Why is no real title available?)
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3230247 (Why is no real title available?)
- scientific article; zbMATH DE number 3099235 (Why is no real title available?)
- A semantical analysis of implicational system I and of the first degree of entailment
- Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
- Completeness of relevant quantification theories
- Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds
- First degree entailments
- Intensional models for first degree formulas
- On the definition of ‘formal deduction’
Cited in
(6)- Relation algebras of Sugihara, Belnap, Meyer, and Church
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
- Relevance and verisimilitude
- Richard (Routley) Sylvan: Writings on Logic and Metaphysics
- Semantical analysis of Arruda da Costa P systems and adjacent non- replacement relevant systems
- Rules in relevant logic. I: Semantic classification
This page was built for publication: Alternative semantics for quantified first degree relevant logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1257474)
