|
|||||
|
|
Logical Connectives for Constructive Modal Logic |
|
| Authors: | Heinrich Wansing |
| Affiliation: | (1) Institute of Philosophy, Dresden University of Technology, 01062 Dresden, Germany |
| Abstract: | 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. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |