Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity.

Didier Galmiche, Marta Gawek, Daniel Mry

Browse the full FSCD paper archive.