The following pages link to On Entailment (Q4113803):
Displayed 20 items.
- Situations in which disjunctive syllogism can lead from true premises to a false conclusion (Q1130236) (← links)
- The concept of relevance and the logic diagram tradition (Q1931345) (← links)
- A lambda proof of the P-W theorem (Q2710612) (← links)
- NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER (Q2940870) (← links)
- BILATERAL RELEVANT LOGIC (Q2940874) (← links)
- European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987 (Q3476783) (← links)
- Principal type-schemes and condensed detachment (Q3489979) (← links)
- The undecidability of entailment and relevant implication (Q3703869) (← links)
- Relevant entailment—semantics and formal systems (Q3712316) (← links)
- Inconsistent models for relevant arithmetics (Q3734361) (← links)
- A constructive analysis of <b>RM</b> (Q3781069) (← links)
- Natural 3-valued logics—characterization and proof theory (Q3981456) (← links)
- Multiplicative conjunction and an algebraic meaning of contraction and weakening (Q4227869) (← links)
- Implicational <i>F</i>-structures and implicational relevance logics (Q4508262) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q4837676) (← links)
- The proofs of <i>α</i> → <i>α</i> in <i>P</i> – <i>W</i> (Q4879907) (← links)
- The complexity of decision procedures in relevance logic II (Q4948542) (← links)
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀<i>p</i> and ∃<i>p</i> (Q5287696) (← links)
- Normalized natural deduction systems for some relevant logics I: The logic DW (Q5477623) (← links)
- Meeting of the Association for Symbolic Logic (Q5902776) (← links)