共 50 条
- [4] Characterization of Quantum States in Predicative Logic [J]. International Journal of Theoretical Physics, 2011, 50 : 3669 - 3681
- [6] FORMULATION OF PREDICATIVE STATEMENT IN ARISTOTLE WRITINGS ON LOGIC [J]. PHRONESIS-A JOURNAL FOR ANCIENT PHILOSOPHY, 1977, 22 (02): : 123 - 145
- [7] Classical predicative logic-enriched type theories [J]. ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (11) : 1315 - 1345
- [9] The genealogy of logic (Husserl, the anti-predicative and the categorial) [J]. ETUDES PHILOSOPHIQUES, 2001, (04): : 557 - 558
- [10] The genealogy of logic. Husserl, the anti-predicative and the categorial [J]. REVUE DE METAPHYSIQUE ET DE MORALE, 2001, (02): : 141 - 142