On Entailment
From MaRDI portal
Publication:4113803
DOI10.2307/3327967zbMath0345.02013OpenAlexW4242195789MaRDI QIDQ4113803
Publication date: 1975
Full work available at URL: https://doi.org/10.2307/3327967
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)
Related Items
The undecidability of entailment and relevant implication, Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p, Relevant entailment—semantics and formal systems, European Summer Meeting of the Association for Symbolic Logic, Natural 3-valued logics—characterization and proof theory, Inconsistent models for relevant arithmetics, European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987, NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER, BILATERAL RELEVANT LOGIC, Principal type-schemes and condensed detachment, Situations in which disjunctive syllogism can lead from true premises to a false conclusion, The concept of relevance and the logic diagram tradition, A constructive analysis of RM, The proofs of α → α in P – W, A lambda proof of the P-W theorem, The complexity of decision procedures in relevance logic II, Normalized natural deduction systems for some relevant logics I: The logic DW, Meeting of the Association for Symbolic Logic, Multiplicative conjunction and an algebraic meaning of contraction and weakening, Implicational F-structures and implicational relevance logics