On Entailment

DOI10.2307/3327967MaRDI QIDQ4113803zbMATH OpenOpenAlexFDO

Authors P. T. Geach

Publication date 1975

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

Mathematics Subject Classification ID

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

Cited in

(20)

• Implicational F-structures and implicational relevance logics
• The complexity of decision procedures in relevance logic II
• European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987
• Natural 3-valued logics—characterization and proof theory
• Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
• A constructive analysis of RM
• Situations in which disjunctive syllogism can lead from true premises to a false conclusion
• European Summer Meeting of the Association for Symbolic Logic
• Normalized natural deduction systems for some relevant logics I: The logic DW
• The proofs of α → α in P – W
• Principal type-schemes and condensed detachment
• Naive truth and restricted quantification: saving truth a whole lot better
• The concept of relevance and the logic diagram tradition
• Relevant entailment—semantics and formal systems
• Multiplicative conjunction and an algebraic meaning of contraction and weakening
• The undecidability of entailment and relevant implication
• Meeting of the Association for Symbolic Logic
• Inconsistent models for relevant arithmetics
• Bilateral relevant logic
• A lambda proof of the P-W theorem

This page was built for publication: On Entailment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4113803)