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
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
