The semantics of entailment. III
From MaRDI portal
Publication:1221740
DOI10.1007/BF00650498zbMath0317.02019OpenAlexW4252137238MaRDI QIDQ1221740
Robert K. Meyer, Richard Routley
Publication date: 1972
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00650498
Related Items (65)
Current trends in substructural logics ⋮ Proof-functional connectives and realizability ⋮ The undecidability of entailment and relevant implication ⋮ Logical predictivism ⋮ Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p ⋮ Restricted arrow ⋮ Combinatory logic and the semantics of substructural logics ⋮ Model theoretical aspects of weakly aggregative modal logic ⋮ Duality for algebras of relevant logics ⋮ Sequent-systems and groupoid models. I ⋮ Ternary relations and relevant semantics ⋮ The Relevance of Relevance to Relevance Logic ⋮ The ``relevance of intersection and union types ⋮ \(\mathbf R\) and relevance principle revisited ⋮ The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points ⋮ New axiomatics for relevant logics. I ⋮ An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics ⋮ Truthmaker semantics for relevant logic ⋮ The nature of information: a relevant approach ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models ⋮ Neighborhoods for entailment ⋮ A plea for KR ⋮ Completeness and conservative extension results for some Boolean relevant logics ⋮ Grounding, conceivability, and the mind-body problem ⋮ On the ternary relation and conditionality ⋮ Generalizing the depth relevance condition: deep relevant logics not included in R-mingle ⋮ A binary modal logic for the intersection types of lambda-calculus. ⋮ Dynamic Epistemic Logic and Logical Omniscience ⋮ The semantics of entailment omega ⋮ A typed lambda calculus with intersection types ⋮ Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Implementing the `Fool's model' of combinatory logic ⋮ RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS ⋮ 2002 Annual Conference of the Australasian Association for Logic ⋮ A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism ⋮ The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations ⋮ BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE ⋮ Implication lattices ⋮ PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4 ⋮ Unnamed Item ⋮ Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models ⋮ 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 ⋮ Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions) ⋮ An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic ⋮ Larisa Maksimova’s Early Contributions to Relevance Logic ⋮ Richard (Routley) Sylvan: Writings on Logic and Metaphysics ⋮ Sequent-systems and groupoid models. II ⋮ \(\supset\)E is admissible in ``true relevant arithmetic ⋮ Applications of Scott's notion of consequence to the study of general binary intensional connectives and entailment ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ Notes on stratified semantics ⋮ CE is not a conservative extension of E ⋮ The Relevance of Semantic Subtyping ⋮ Relevant logic and the theory of information ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras ⋮ The Better Bubbling Lemma ⋮ Isomorphism of intersection and union types ⋮ The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics ⋮ Revisiting Semilattice Semantics ⋮ Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic ⋮ Halldén completeness for relevant modal logics
Cites Work
This page was built for publication: The semantics of entailment. III
