共 50 条
- [22] Principal typing in elementary affine logic TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2003, 2701 : 90 - 104
- [23] ELEMENTARY LOGIC - GERMAN - SEGETH,W DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 1968, 16 (03): : 382 - 384
- [24] ON THE CATEGORICAL SEMANTICS OF ELEMENTARY LINEAR LOGIC THEORY AND APPLICATIONS OF CATEGORIES, 2009, 22 : 269 - 301
- [25] Elementary Invariants for Quantified Probability Logic Doklady Mathematics, 2023, 107 : 93 - 96
- [30] On the Multimodal Logic of Elementary Normative Systems ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, 2007, 163 : 57 - 66