The automation of syllogistic
- 1 June 1990
- journal article
- research article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 6 (2) , 173-187
- https://doi.org/10.1007/bf00245817
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The automation of syllogistic I. Syllogistic normal formsJournal of Symbolic Computation, 1988
- The logically simplest form of the infinity axiomProceedings of the American Mathematical Society, 1988
- Towards practical implementations of syllogisticLecture Notes in Computer Science, 1985
- Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notionsCommunications on Pure and Applied Mathematics, 1981