Entailment and relevance1
From MaRDI portal
Publication:3293396
DOI10.2307/2964210zbMath0107.00802OpenAlexW2050498009MaRDI 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
Logical predictivism, Paths to triviality, Propositional relevance through letter-sharing, 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, Depth relevance and hyperformalism, First degree entailments, The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic, Non-Boolean classical relevant logics. II: Classicality through truth-constants, Farewell to suppression-freedom, The Weak Variable Sharing Property, SUBSTITUTION IN RELEVANT LOGICS, 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, 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, Generalizing the depth relevance condition: deep relevant logics not included in R-mingle, Varieties of De Morgan monoids: minimality and irreducible algebras, RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS, Blocking the routes to triviality with depth relevance, Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values, Curry's paradox, generalized modus ponens axiom and depth relevance, The principle of separation of variables in propositional logics, Hilbert-style axiomatization of first-degree entailment and a family of its extensions, Homomorphisms of intensionally complemented distributive lattices, There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM, A decision procedure for the system E (of entailment). I, Tarskian Classical Relevant Logic