Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators

DOI10.1006/inco.2001.3096zbMath1009.03010OpenAlexW1534998899MaRDI QIDQ1854500

Pietro Ursino, Eugenio Giovanni Omodeo, Domenico Cantone

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.2001.3096

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Set theory (03E99)

Related Items (5)

Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership ⋮ Adding the power-set to description logics ⋮ Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case* ⋮ Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate ⋮ The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations

Uses Software

• SETL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators
• Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability
• Non-resolution theorem proving
• \(T\)-resolution: Refinements and model elimination
• Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case
• A set-theoretic translation method for polymodal logics
• \(T\)-theorem proving. I
• {log}: A language for programming in logic with finite sets
• Program derivation with verified transformations — a case study
• Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case

This page was built for publication: Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators