Alternative semantics for quantified first degree relevant logic
From MaRDI portal
Cites work
- A semantical analysis of implicational system I and of the first degree of entailment
- Completeness of relevant quantification theories
- Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
- Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds
- First degree entailments
- 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?)
- Intensional models for first degree formulas
- On the definition of ‘formal deduction’
Cited in
(6)- Semantical analysis of Arruda da Costa P systems and adjacent non- replacement relevant systems
- Rules in relevant logic. I: Semantic classification
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- Richard (Routley) Sylvan: Writings on Logic and Metaphysics
- Relevance and verisimilitude
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
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)
