Decision Procedures for Elementary Sublanguages of Set Theory: X
Language: English
Published by Forgotten Books, 2018
- Softcover
- New
Seller: Forgotten Books, London, United KingdomForgotten Books
AbeBooks seller since June 2, 2021
Condition: New
US$ 17.58
Quantity: Over 20 available
Add to basketItem description from seller
Seller Inventory # 9781333072308_0
- Title
- Decision Procedures for Elementary Sublanguages of Set Theory: X
- Author
- D. Cantone
- Publisher
- Forgotten Books
- Publication year
- 2018
- Condition
- New
- Book Type
- print-on-demand item
- Binding
- Paperback
- Language
- English
- ISBN 10
- 1333072309
- ISBN 13
- 9781333072308
- Seller catalogs
- Logic
Understand a new decision procedure for a rich class of set-theoretic formulas.
This work shows that the satisfiability problem remains solvable when extending multilevel syllogistic with singleton and powerset operators.
Written for researchers and students in logic and theoretical computer science, the text frames how a carefully designed procedure combines syntactic and model-theoretic ideas to decide formulas built from union, intersection, set difference, powerset, and singleton, using standard set-theoretic predicates and boolean connectives. It explains the intended interpretation and proves that satisfiable formulas have boundable models, leading to a concrete decidability result.
The paper surveys the progression from well-known decidability results to a decision procedure for a broader language, and outlines the key constructs that enable the proof. It emphasizes how canonical models and a nondeterministic standardization algorithm work together to test satisfiability.
- The language MLSSP and its injective satisfiability reduction to a simpler subtheory.
- The construction of places, P-nodes, and a staged algorithm that ensures correct modeling of clauses.
- The Main Inductive Lemma and its role in establishing partial correctness of the procedure.
- Culminating corollaries, including the decidability of the MLSSP class and model-size bounds.
Ideal for readers of formal logic and advanced set theory who want a rigorous, computational take on satisfiability in set-theoretic languages.
"Synopsis" may belong to another edition of this title.
Forgotten Books
London, United Kingdom
AbeBooks seller since June 2, 2021
Shipping rates from United Kingdom to U.S.A.
| Item | 5 to 10 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 0.00 |
Payment methods
Store description
Specialty
TradeSeller's business information
FB &c Ltd
Dalton House, 60 Windsor Avenue
London, United Kingdom SW19 2RR
Terms of sale
All books are Print on Demand and will be printed upon purchase and shipped in New Condition. Orders typically ship within 3-5 business days. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the ask bookseller a question link to contact us and we'll respond within 2 business days.
Other policies
Please note that we cannot accept cancellation requests once an order has been placed.
All Forgotten Books titles are printed on demand. The moment an order is submitted, it is automatically transmitted to our distributor and then forwarded to the printer, where it enters production. This process begins within minutes and is entirely automated.
A cancellation, however, is a manual, multi-step request that must pass through several systems. By the time such a request reaches the appropriate stage, the book has almost always been printed, packed, or already dispatched, which makes cancellation impossible.
For this reason, we kindly ask that you double-check the title, edition, and your shipping details before placing an order.
If you change your mind after ordering, you are welcome to return the book once it arrives, and a refund will be issued in accordance with AbeBooks’ return policy.
Please also make sure your address is correct before ordering as we will no be able to intervene and make changes before the book is shipped.
We can provide digital samples for all our print books ahead, so don't hesitate to reach out.
Returns
As a small publisher we do not have the facilities to resell returned books, so any returned book will be recycled. If the book is damaged or defective please continue with the return process, and thank you for letting us know so that we can improve our products. If you’re returning for another reason, however, please consider whether you could donate or gift the book instead so that it avoids the waste pile.
Thank you in advance!
Shipping terms
We are committed to minimizing our environmental impact and reducing shipping costs by manufacturing and shipping our products as close to our customers as possible. For orders within the United States, your items are shipped from the USA with final delivery done by USPS.
UK and European orders are fulfilled from the UK through various couriers.
Canadian orders may be shipped from either Canada or the USA via Canada Post or UPS, depending on the size of the order.
For our customers in other regions around the world, we ensure that your orders are shipped from the closest available location to reduce delivery times and carbon footprint. Our goal is to deliver your products efficiently, no matter where you are located.
Please be aware that depending on the size of your order and local legislation in your country, there may be additional taxes, customs duties, and fees imposed by the destination country. These charges are not included in the item price or shipping cost. They are the responsibility of the customer and must be paid upon delivery.
We recommend checking with your local customs office for more information on potential charges before placing your order. Forgotten Books is not responsible for any customs duties, taxes, or fees incurred.