The semantics of entailment. II
From MaRDI portal
Cites work
Cited in
(70)- Sequent-systems and groupoid models. I
- Modal translations in substructural logics
- The semantics of \(R4\)
- The semantics of entailment. III
- Compactness for RQ
- A second-order relevance logic with modality
- Relevant logic and the theory of information
- Grounding, conceivability, and the mind-body problem
- Semantics for dual and symmetric combinatory calculi
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
- Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom
- Duality for algebras of relevant logics
- An incomplete relevant modal logic
- Lambek calculus with conjugates
- An incompleteness theorem for modal relevant logics
- Subminimal negation on the Australian plan
- Model theoretical aspects of weakly aggregative modal logic
- Truthmaker semantics for relevant logic
- Models for relevant modal logics
- Negation on the Australian plan
- Categories of models of \(\mathbf{R}\)-mingle
- Toward a general frame semantics for modal many-valued logics
- Notes on stratified semantics
- A topological approach to MTL-algebras
- Logic of subtyping
- Current trends in substructural logics
- Neighbourhood semantics for modal relevant logics
- Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
- Dynamic Epistemic Logic and Logical Omniscience
- On split negation, strong negation, information, falsification, and verification
- Bridging the two plans in the semantics for relevant logic
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- Model existence theorem in superrelevant predicate logics
- On the ternary relation and conditionality
- The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
- Richard (Routley) Sylvan: Writings on Logic and Metaphysics
- Algebraic Kripke-style semantics for relevance logics
- A star-free semantics for R
- Making sense of paraconsistent logic: the nature of logic, classical logic and paraconsistent logic
- Geometric Models for Relevant Logics
- Revisiting Semilattice Semantics
- Discrete dualities for groupoids
- Understanding negation implicationally in the relevant logic R
- Belief revision, probabilism, and logic choice
- An explanation for the ternary relation R in the relational semantics of relevance logic
- Dynamic Epistemic Logic as a Substructural Logic
- Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
- QUANTIFIED MODAL RELEVANT LOGICS
- Reflections on Orlov
- Varieties of Relevant S5
- Non-Boolean classical relevant logics. II: Classicality through truth-constants
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
- The nature of information: a relevant approach
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- One variable relevant logics are S5Ish
- Multiset-multiset frames
- Deep fried logic
- Handling irresolvable conflicts in the semantic web: an RDF-based conflict-tolerant version of the deontic traditional scheme
- Conjunctive and disjunctive parts
- Fine's semantics for relevance logic and its relevance
- -admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
- New(ish) foundations for theories of entailment
- Implicational (dual) residuated semilinear gaggle logics
- Polyadic De Morgan monoids: functional representation and MG structures
- Logical predictivism
- Restricted arrow
- A calculus and logic of resources and processes
This page was built for publication: The semantics of entailment. II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1221739)
