zbMath0698.03004MaRDI QIDQ3475242
Domenico Cantone, Vincenzo Cutello
Publication date: 1989
zbMATH Keywords
satisfiability problem; Multilevel Syllogistic
Mathematics Subject Classification ID
03B25: Decidability of theories and sets of sentences
03E99: Set theory
Related Items