On Entailment

DOI10.2307/3327967zbMath0345.02013OpenAlexW4242195789MaRDI QIDQ4113803

P. T. Geach

Publication date: 1975

Full work available at URL: https://doi.org/10.2307/3327967

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Related Items (20)

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

This page was built for publication: On Entailment