Decision procedures for elementary sublanguages of set theory. I. Multi‐level syllogistic and some extensions
- 1 September 1980
- journal article
- research article
- Published by Wiley in Communications on Pure and Applied Mathematics
- Vol. 33 (5) , 599-608
- https://doi.org/10.1002/cpa.3160330503
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- A simplifier based on efficient decision algorithmsPublished by Association for Computing Machinery (ACM) ,1978
- On the interpretation of Aristotelian syllogisticThe Journal of Symbolic Logic, 1956
- Beiträge zur Algebra der Logik, insbesondere zum EntscheidungsproblemMathematische Annalen, 1922