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

摘要

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.