Decision procedures for elementary sublanguages of set theory. III. Restricted classes of formulas involving the power set operator and the general set union operator-Reference-Cited by-同舟云学术

Decision procedures for elementary sublanguages of set theory. III. Restricted classes of formulas involving the power set operator and the general set union operator

Published:1984-06 Issue:2 Volume:5 Page:147-215
ISSN:0196-8858
Container-title:Advances in Applied Mathematics
language:en
Short-container-title:Advances in Applied Mathematics

Author:

Breban Michael,Ferro Alfredo

Publisher

Elsevier BV

Subject

Applied Mathematics

Reference10 articles.

1. Decision procedures for elementary sublanguages of set theory. I. Multilevel syllogistic and some extensions;Ferro;Comm. Pure Appl. Math.,1980

2. Decision procedures for elementary sublanguages of set theory. II. Formulae involving restricted quantifiers, together with ordinal, integer, map, and domain notions;Breban;Comm. Pure Appl. Math.,1981

3. Decision procedures for some fragments of set theory;Ferro,1980

4. Instantiation and Decision Procedures for Certain Classes of Quantified Set-Theoretic Formulae;Schwartz,1978

5. Beiträge zur Algebra der Logik, insbesondere zum Entscheindungsproblem;Behmann;Math. Ann.,1922

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Onset and Today’s Perspectives of Multilevel Syllogistic;Lecture Notes in Computer Science;2024

2. Complexity of the decidability of one class of formulas in quantifier-free set theory with a set-union operator;Georgian Mathematical Journal;1996-01

3. Techniques of computable set theory with applications to proof verification;Communications on Pure and Applied Mathematics;1995

4. Undecidability results for restricted universally quantified formulae of set theory;Communications on Pure and Applied Mathematics;1993-01

5. European Summer Meeting of the Association for Symbolic Logic;Journal of Symbolic Logic;1992-03