共 50 条
- [2] Non-classical Metatheory for Non-classical Logics [J]. Journal of Philosophical Logic, 2013, 42 : 335 - 355
- [8] Representation theorems and the semantics of non-classical logics, and applications to automated theorem proving [J]. BEYOND TWO: THEORY AND APPLICATIONS OF MULTIPLE-VALUED LOGIC, 2003, 114 : 59 - 100