共 50 条
- [41] Logical expressivism, logical theory and the critique of inferences Synthese, 2019, 196 : 4493 - 4509
- [42] PROPOSITIONAL-LOGICAL THEORY OF LOGICAL CONSEQUENCE DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 1980, 28 (12): : 1429 - 1442
- [43] Automated Synthesis of Recursive Programs from a ∀∃ Logical Specification Journal of Automated Reasoning, 1998, 21 : 233 - 275
- [45] LOGICAL NETWORKS FOR FEATURE EXTRACTION IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1971, SMC1 (01): : 43 - &
- [47] Aristotle and logical theory INTERNATIONAL JOURNAL OF PSYCHOANALYSIS, 2021, 102 (02): : 379 - 398
- [50] THEORY OF LOGICAL NETS PROCEEDINGS OF THE INSTITUTE OF RADIO ENGINEERS, 1953, 41 (10): : 1357 - 1365