Jump to content

Decidable sublanguages of set theory

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Dtrebbien (talk | contribs) at 22:56, 2 August 2008 (+{{context}}). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Various sublanguages of set theory are decidable.[1][2] These include:

  • Sets with Monotone, Additive, and Multiplicative Functions.[3]
  • Sets with restricted quantifiers.[4]

References

  1. ^ Cantone, D., E. G. Omodeo and A. Policriti, "Set Theory for Computing. From Decision Procedures to Logic Programming with Sets," Monographs in Computer Science, Springer, 2001.
  2. ^ "Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability", by Franco Parlamento and Alberto Policriti Journal of Automated Reasoning, Volume 7 , Issue 2 (June 1991), Pages: 271 - 284
  3. ^ "A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions", by Domenico Cantone and et al.
  4. ^ "A tableau-based decision procedure for a fragment of set theory involving a restricted form of quantification", by Domenico Cantone, Calogero G. Zarba, Viale A. Doria, 1997
Retrieved from "https://en.wikipedia.org/w/index.php?title=Decidable_sublanguages_of_set_theory&oldid=229484409"