共 50 条
- [22] A local system for intuitionistic logic Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, 2006, 4246 : 242 - 256
- [26] A semantic hierarchy for intuitionistic logic INDAGATIONES MATHEMATICAE-NEW SERIES, 2019, 30 (03): : 403 - 469