共 50 条
- [21] A survey of predicate realizability logic Proceedings of the Steklov Institute of Mathematics, 2011, 274 : 204 - 230
- [27] Concept graphs and predicate logic CONCEPTUAL STRUCTURES: BROADENING THE BASE, PROCEEDINGS, 2001, 2120 : 72 - 86
- [30] An Algebraic Presentation of Predicate Logic FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2013), 2013, 7794 : 401 - 417