共 50 条
- [4] ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION [J]. REVIEW OF SYMBOLIC LOGIC, 2018, 11 (04): : 805 - 820
- [5] SEMANTICS FOR NON-CLASSICAL LOGICS [J]. PROCEEDINGS OF THE JAPAN ACADEMY, 1973, 49 (05): : 337 - 340
- [6] Topological semantics and bisimulations for intuitionistic modal logics and their classical companion logics [J]. Logical Foundations of Computer Science, Proceedings, 2007, 4514 : 162 - 179
- [8] Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics [J]. PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 156 - 165
- [9] ALGEBRAIC SEMANTICS FOR QUASI-CLASSICAL MODAL-LOGICS [J]. JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) : 941 - 964
- [10] Algebraic kripke sheaf semantics for non-classical predicate logics [J]. Studia Logica, 1999, 63 (3) : 387 - 416