Entailment and relevance1
From MaRDI portal
Publication:3293396
Cited in
(36)- First degree entailments
- The principle of separation of variables in propositional logics
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Curry's paradox, generalized modus ponens axiom and depth relevance
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions
- Depth relevance and hyperformalism
- Farewell to suppression-freedom
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- Blocking the routes to triviality with depth relevance
- Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
- Homomorphisms of intensionally complemented distributive lattices
- Non-Boolean classical relevant logics. I
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
- Paths to triviality
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic
- Tarskian Classical Relevant Logic
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
- SUBSTITUTION IN RELEVANT LOGICS
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
- Non-Boolean classical relevant logics. II: Classicality through truth-constants
- The Weak Variable Sharing Property
- Confused entailment
- Topics, non-uniform substitutions, and variable sharing
- Hyperformalism for bunched natural deduction systems
- Entailment generalized
- The only 3-valued logic which is a natural implication expansion with the variable-sharing property of Kleene's strong logic
- Withered relevance. Evaluating the Anderson-Belnap account of relevant logics
- A topic-theoretic perspective on variable-sharing (from the black sheep of the family)
- Topic transparency and variable sharing in weak relevant logics
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
- A decision procedure for the system E (of entailment). I
- Logical predictivism
- Propositional relevance through letter-sharing
This page was built for publication: Entailment and relevance1
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3293396)
