The following pages link to The pure calculus of entailment (Q3849883):
Displayed 16 items.
- A sieve for entailments (Q1137032) (← links)
- A survey of deduction theorems for the propositional calculi (Q1211481) (← links)
- A review of some problems of the logic of questions (Q1218843) (← links)
- Classical relevant logics. I (Q1221097) (← links)
- The semantics of entailment. II (Q1221739) (← links)
- The semantics of entailment. III (Q1221740) (← links)
- Cut-elimination theorem for relevant logics (Q1247417) (← links)
- A second-order relevance logic with modality (Q1257469) (← links)
- The existence of matrices strongly adequate for E, R and their fragments (Q1259580) (← links)
- New axiomatics for relevant logics. I (Q1394338) (← links)
- Shortest axiomatizations of implicational S4 and S5 (Q1430904) (← links)
- Conservative extension in relevant implication (Q2264755) (← links)
- E-theories (Q2549688) (← links)
- On interpretation and separation theorems for the logical systems E and R (Q2557238) (← links)
- (Q5565082) (← links)
- The implicational fragment of $R$-mingle (Q5633971) (← links)