A Fast Saturation Strategy for Set-Theoretic Tableaux
暂无分享,去创建一个
[1] Ricardo Caferra,et al. A Method for Simultanous Search for Refutations and Models by Equational Constraint Solving , 1992, J. Symb. Comput..
[2] Alfredo Ferro,et al. Techniques of computable set theory with applications to proof verification , 1995 .
[3] Rosa Ruggeri Cannata,et al. Deciding set-theoretic formulae with the predicate 'finite' by a tableau calculus , 1995 .
[4] Melvin Fitting,et al. First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.
[5] Domenico Cantone,et al. What Is Computable Set Theory , 1990 .
[6] J. Schwartz,et al. Decision procedures for elementary sublanguages of set theory. I. Multi‐level syllogistic and some extensions , 1980 .