Pages that link to "Item:Q3293396"
From MaRDI portal
The following pages link to Entailment and relevance<sup>1</sup> (Q3293396):
Displaying 28 items.
- Paths to triviality (Q300832) (← links)
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM (Q793002) (← links)
- A decision procedure for the system E (of entailment). I (Q802540) (← links)
- Logical predictivism (Q830365) (← links)
- Propositional relevance through letter-sharing (Q846520) (← links)
- First degree entailments (Q1131500) (← links)
- The principle of separation of variables in propositional logics (Q1240219) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Curry's paradox, generalized modus ponens axiom and depth relevance (Q2016072) (← links)
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions (Q2041966) (← links)
- Depth relevance and hyperformalism (Q2155937) (← links)
- Farewell to suppression-freedom (Q2198315) (← links)
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Blocking the routes to triviality with depth relevance (Q2258818) (← links)
- Generalizing the depth relevance condition: deep relevant logics not included in R-mingle (Q2443123) (← links)
- Homomorphisms of intensionally complemented distributive lattices (Q2526962) (← links)
- Non-Boolean classical relevant logics. I (Q2695399) (← links)
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE (Q2695525) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
- The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic (Q4586153) (← links)
- Tarskian Classical Relevant Logic (Q5027232) (← links)
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B (Q5066095) (← links)
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097) (← links)
- SUBSTITUTION IN RELEVANT LOGICS (Q5117597) (← links)
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values (Q5742698) (← links)
- Non-Boolean classical relevant logics. II: Classicality through truth-constants (Q6147138) (← links)
- Confused entailment (Q6652787) (← links)
