The semantics of entailment. II
From MaRDI portal
Publication:1221739
DOI10.1007/BF00649991zbMath0317.02018OpenAlexW2082707306MaRDI QIDQ1221739
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/bf00649991
Related Items (59)
QUANTIFIED MODAL RELEVANT LOGICS ⋮ Current trends in substructural logics ⋮ Logical predictivism ⋮ Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p ⋮ Restricted arrow ⋮ A calculus and logic of resources and processes ⋮ Model theoretical aspects of weakly aggregative modal logic ⋮ Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom ⋮ Duality for algebras of relevant logics ⋮ Sequent-systems and groupoid models. I ⋮ A star-free semantics for R ⋮ The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points ⋮ Reflections on Orlov ⋮ Varieties of Relevant S5 ⋮ Truthmaker semantics for relevant logic ⋮ The nature of information: a relevant approach ⋮ Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ Neighbourhood semantics for modal relevant logics ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic ⋮ Model existence theorem in superrelevant predicate logics ⋮ Grounding, conceivability, and the mind-body problem ⋮ On the ternary relation and conditionality ⋮ Dynamic Epistemic Logic and Logical Omniscience ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS ⋮ An incomplete relevant modal logic ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Bridging the Two Plans in the Semantics for Relevant Logic ⋮ Understanding negation implicationally in the relevant logic R ⋮ Modal translations in substructural logics ⋮ Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic ⋮ The semantics of \(R4\) ⋮ BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE ⋮ The semantics of entailment. III ⋮ Compactness for RQ ⋮ Unnamed Item ⋮ Logic of subtyping ⋮ Models for relevant modal logics ⋮ Negation on the Australian plan ⋮ A second-order relevance logic with modality ⋮ An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic ⋮ Lambek calculus with conjugates ⋮ Richard (Routley) Sylvan: Writings on Logic and Metaphysics ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ Toward a general frame semantics for modal many-valued logics ⋮ Semantics for dual and symmetric combinatory calculi ⋮ An incompleteness theorem for modal relevant logics ⋮ Notes on stratified semantics ⋮ A topological approach to MTL-algebras ⋮ Subminimal negation on the Australian plan ⋮ 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 ⋮ Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic ⋮ Geometric Models for Relevant Logics ⋮ Revisiting Semilattice Semantics ⋮ Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
Cites Work
This page was built for publication: The semantics of entailment. II
