A Simple Sequent Calculus for Angell's Logic of Analytic Containment

作者：French Rohan^*

来源：Studia Logica, 2017, 105(5): 971-994.

DOI：10.1007/s11225-017-9719-y

• Sequent calculus
• Analytic containment
• First-degree entailment
• Relevant logic

We give a simple sequent calculus presentation of R.B. Angell's logic of analytic containment, recently championed by Kit Fine as a plausible logic of partial content.

• 出版日期2017-10