共 50 条
- [6] Proof-Theoretic Semantics and Inquisitive Logic Journal of Philosophical Logic, 2021, 50 : 1199 - 1229
- [8] Proof-theoretic approach to description-logic LICS 2005: 20TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE - PROCEEDINGS, 2005, : 229 - 237