Repository | Journal | Volume | Articles
(2006) Synthese 150 (3).
Model-theoretic proofs of functional completenes along the lines of [McCullough 1971, Journal of Symbolic Logic 36, 15–20] are given for various constructive modal propositional logics with strong negation.
Publication details
DOI: 10.1007/s11229-005-5518-5
Full citation:
Wansing, H. (2006). Logical connectives for constructive modal logic. Synthese 150 (3), pp. 459-482.
This document is unfortunately not available for download at the moment.