The following pages link to The pure calculus of entailment (Q3849883):
Displaying 30 items.
- \(\mathbf R\) and relevance principle revisited (Q381004) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- The one-variable fragment of \(\mathrm T_\to\) (Q484182) (← links)
- A relevant logic of questions (Q829829) (← links)
- 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)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- A note on contraction-free logic for validity (Q1708464) (← links)
- Farewell to suppression-freedom (Q2198315) (← 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)
- Non-Boolean classical relevant logics. I (Q2695399) (← links)
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (Q3305420) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- R-Mingle is Nice, and so is Arnon Avron (Q5020167) (← links)
- Sugihara algebras and Sugihara monoids: Multisorted dualities (Q5142337) (← links)
- On recent applications of paraconsistent logic: an exploratory literature review (Q5243397) (← links)
- (Q5565082) (← links)
- The implicational fragment of $R$-mingle (Q5633971) (← links)
- Non-Boolean classical relevant logics. II: Classicality through truth-constants (Q6147138) (← links)
