共 50 条
- [27] Proof-theoretic and higher-order extensions of logic programming Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 254 - 270
- [29] Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics Studia Logica, 2019, 107 : 233 - 246
- [30] Lesniewski's Ontology - Proof-Theoretic Characterization AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 541 - 558