The semantics of entailment. III

DOI10.1007/BF00650498zbMATH Open0317.02019OpenAlexW4252137238MaRDI QIDQ1221740FDOQ1221740

Authors: Robert K. Meyer, Richard Sylvan 

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General logic (03B99)

Cites Work

• The semantics of entailment. II
• Title not available (Why is that?)
• The pure calculus of entailment
• Conservative extension in relevant implication
• Modalities in Ackermann's “rigorous implication”
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (69)

• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• Substructural nuclear (image-based) logics and operational Kripke-style semantics
• Paraconsistent logics included in Lewis' S4
• One variable relevant logics are S5Ish
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
• Multiset-multiset frames
• Deep fried logic
• Richard (Routley) Sylvan: Writings on Logic and Metaphysics
• Isomorphism of intersection and union types
• 2002 Annual Conference of the Australasian Association for Logic
• The better bubbling lemma
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• Truthmaker semantics for relevant logic
• Current trends in substructural logics
• A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
• Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
• Logical predictivism
• Title not available (Why is that?)
• Completeness and conservative extension results for some Boolean relevant logics
• New axiomatics for relevant logics. I
• Sequent-systems and groupoid models. I
• Restricted arrow
• Ternary relations and relevant semantics
• Model theoretical aspects of weakly aggregative modal logic
• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• The relevance of semantic subtyping
• \(\supset\)E is admissible in ``true relevant arithmetic
• A binary modal logic for the intersection types of lambda-calculus.
• The relevance of relevance to relevance logic
• Belief revision, probabilism, and logic choice
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• CE is not a conservative extension of E
• 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02
• Dynamic Epistemic Logic and Logical Omniscience
• Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
• On the ternary relation and conditionality
• The semantics of entailment omega
• Grounding, conceivability, and the mind-body problem
• Implementing the `Fool's model' of combinatory logic
• Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)
• Duality for algebras of relevant logics
• Applications of Scott's notion of consequence to the study of general binary intensional connectives and entailment
• Sequent-systems and groupoid models. II
• Combinatory logic and the semantics of substructural logics
• Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
• Larisa Maksimova’s Early Contributions to Relevance Logic
• Proof-functional connectives and realizability
• Halldén completeness for relevant modal logics
• Algebraic Kripke-style semantics for relevance logics
• Notes on stratified semantics
• The nature of information: a relevant approach
• Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models
• Implication lattices
• An explanation for the ternary relation R in the relational semantics of relevance logic
• Dynamic Epistemic Logic as a Substructural Logic
• The undecidability of entailment and relevant implication
• A typed lambda calculus with intersection types
• A plea for KR
• Revisiting Semilattice Semantics
• Relevant logic and the theory of information
• Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
• Neighborhoods for entailment
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
• \(\mathbf R\) and relevance principle revisited
• The ``relevance of intersection and union types
• Categories of models of \(\mathbf{R}\)-mingle
• The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
• The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models

This page was built for publication: The semantics of entailment. III

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1221740)