Towards practical implementations of syllogistic

This publication has 8 references indexed in Scilit:

• Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions
  Communications on Pure and Applied Mathematics, 1981
• Decision procedures for elementary sublanguages of set theory. I. Multi‐level syllogistic and some extensions
  Communications on Pure and Applied Mathematics, 1980
• Decision procedures for some fragments of set theory
  Published by Springer Nature ,1980
• Sentences with three quantifiers are decidable in set theory
  Fundamenta Mathematicae, 1979
• Automatic theorem proving in set theory
  Artificial Intelligence, 1978
• The ∀_n∃‐Completeness of Zermelo‐Fraenkel Set Theory
  Mathematical Logic Quarterly, 1978
• On the interpretation of Aristotelian syllogistic
  The Journal of Symbolic Logic, 1956
• Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem
  Mathematische Annalen, 1922