共 50 条
- [33] A Categorical Semantics for Linear Logical Frameworks FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2015), 2015, 9034 : 102 - 116
- [34] ESSAYS IN LOGICAL SEMANTICS - VANBENTHEM,J CANADIAN JOURNAL OF LINGUISTICS-REVUE CANADIENNE DE LINGUISTIQUE, 1988, 33 (01): : 89 - 92
- [35] A deterministic logical semantics for pure esterel ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2007, 29 (02):
- [36] The semantics of logical connectives and mental logic CAHIERS DE PSYCHOLOGIE COGNITIVE-CURRENT PSYCHOLOGY OF COGNITION, 1999, 18 (01): : 87 - 97
- [38] Logical semantics for the first order - Calculus THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2003, 2841 : 202 - 215
- [39] Semantics of Analogies from a Logical Perspective KUNSTLICHE INTELLIGENZ, 2019, 33 (03): : 243 - 251