research
∙
07/15/2022
Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic
This paper shows Hilbert system (𝐂+𝐉)^-, given by del Cerro and Herzig (...
share
research
∙
04/14/2022
