Download PDFOpen PDF in browserA System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic11 pages•Published: May 26, 2024AbstractWe give an evaluation system for the admissibility of rules in intuitionistic proportional logic. The system is based on recent work on the proof-theoretic semantics of IPL.Keyphrases: admissibility, inferentialism, intuitionistic logic, logic, proof theoretic semantics, proof theory In: Nikolaj Bjørner, Marijn Heule and Andrei Voronkov (editors). LPAR 2024 Complementary Volume, vol 18, pages 81-91.
|