Entailment and relevance1
From MaRDI portal
Publication:3293396
DOI10.2307/2964210zbMath0107.00802MaRDI QIDQ3293396
Publication date: 1960
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964210
Related Items
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, Paths to triviality, 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, 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, RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
