On Entailment
From MaRDI portal
Publication:4113803
DOI10.2307/3327967zbMATH Open0345.02013OpenAlexW4242195789MaRDI QIDQ4113803FDOQ4113803
Authors: P. T. Geach
Publication date: 1975
Full work available at URL: https://doi.org/10.2307/3327967
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)
- The complexity of decision procedures in relevance logic II
- European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
- Natural 3-valued logics—characterization and proof theory
- A constructive analysis of RM
- Situations in which disjunctive syllogism can lead from true premises to a false conclusion
- Normalized natural deduction systems for some relevant logics I: The logic DW
- European Summer Meeting of the Association for Symbolic Logic
- 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
- Implicational F-structures and implicational relevance logics
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)