The following pages link to A sieve for entailments (Q1137032):
Displaying 5 items.
- The equivalence of tautological and ''strict'' entailment: Proof of an amended conjecture of Lewy's (Q1136750) (← links)
- Explicating logical independence (Q2301324) (← links)
- Default Rules in the Logic of First-Degree Entailments (Q3305612) (← links)
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 (Q5037525) (← links)
- RELEVANCE LOGICS AND RELATION ALGEBRAS (Q5323794) (← links)
