Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity
- Publication date
- 1 January 2021
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)