Repository logo
  • English
  • Italiano
  • Log In
    or
    New user? Click here to register.Have you forgotten your password?
Repository logo
Repository logo
  • Communities & Collections
  • Series/Journals
  • EUT
  • Events
  • Statistics
  • English
  • Italiano
  • Log In
    or
    New user? Click here to register.Have you forgotten your password?
  1. Home
  2. EUT Edizioni Università di Trieste
  3. Periodici
  4. Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics
  5. Rendiconti dell'Istituto di Matematica dell'Università di Trieste: an International Journal of Mathematics vol.42 (2010)
  6. Solvable Set/Hyperset Contexts: III. A Tableau System for a Fragment of Hyperset Theory
 
  • Details
  • Metrics
Options

Solvable Set/Hyperset Contexts: III. A Tableau System for a Fragment of Hyperset Theory

Cantone, Domenico
•
Felici, Massimo
•
Nicolosi Asmundo, Marianna
2010
Loading...
Thumbnail Image
ISSN
0049-4704
http://hdl.handle.net/10077/3889
  • Article

Abstract
We propose a decision procedure for a fragment of the hyperset theory, HMLSS, which takes inspiration from a tableau saturation strategy presented in [3] for the fragment MLSS of well-founded set theory. The procedure alternates deduction and model checking steps, driving the correct application of otherwise very liberal rules, thus significantly speeding up the process of discovering a satisfying assignment of a given HMLSS-formula or proving that no such assignment exists.
Subjects
  • Decision Procedures

  • Tableau Calculus

  • Multi-Level Syllogist...

  • Computable Set Theory...

  • Hyperset Theory

Publisher
EUT Edizioni Università di Trieste
Source
Domenico Cantone, Massimo Felici, Marianna Nicolosi Asmundo, "A Tableau System for a Fragment of Hyperset Theory", in: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics, 42 (2010), pp. 165-190.
Series/Report
Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics;42 (2010)
Languages
en
File(s)
Loading...
Thumbnail Image
Name

Cantone Felici NicolosiAsmundo RendMat42.pdf

Size

361.65 KB

Format

Adobe PDF

Checksum (MD5)

a04b7e64774c4ae4b8f926ae50c58332

Download
Indexed by

 Info

Open Access Policy

Share/Save

 Contacts

EUT Edizioni Università di Trieste

OpenstarTs

 Link

Wiki OpenAcces

Archivio Ricerca ArTS

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback