Items related to Decision Procedures for Elementary Sublanguages of...
Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs (Classic Reprint) - Softcover
Synopsis
Excerpt from Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs
This paper tackles the satisfiability problem for the one-sorted language E, which properly extends the purely set-theoretical part (i.e. With no cardinality constructs) of the theory considered in [fos]. In particular we will exhibit a finite and uniform procedure which decides for any given formula P of E whether P has a model or not.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
"synopsis" may belong to another edition of this title.
- PublisherForgotten Books
- Publication date2020
- ISBN 10 133304254X
- ISBN 13 9781333042547
- BindingPaperback
- LanguageEnglish
- Number of pages41
Buy New
View this item
US$ 17.32
Shipping:
FREE
From United Kingdom to U.S.A.
Other Popular Editions of the Same Title
Search results for Decision Procedures for Elementary Sublanguages of...
Seller Image
Decision Procedures for Elementary Sublanguages of Set Theory: XI
Print on DemandSeller: Forgotten Books, London, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Print on Demand. This book extends the decision procedures for set theory previously developed by the author for quantied and unquantied languages. This eleventh volume of the series builds upon prior work by examining set operators, set predicates, cardinality operators, cardinality predicates and function operators within elementary Boolean connectives. It presents a finite and uniform procedure that decides whether a given formula possesses a model or not, reducing the problem to the satisability problem for conjunctions of atoms. By way of disjunctive normal form, it is demonstrated that constructs like set difference or the Singleton predicate are equisatisfiable to conjunctions of positive atoms. The author demonstrates the satisability problem for three-sorted language, which properly extends the purely set-theoretical part of the theory considered in previous volumes, exhibiting a finite and uniform procedure that is capable of deciding whether a given formula has a model. The book concludes by considering D, INV, SINGLEVALUED, PAIRIN as operators, discussing their satisability conditions, and arguing that the class of formulas in the language of the book has a solvable satisability problem. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. Seller Inventory # 9781333042547_0
Quantity: Over 20 available
Stock Image
Decision Procedures for Elementary Sublanguages of Set Theory XI Multilevel Syllogistic Extended by Some Elementary Map Constructs Classic Reprint
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9781333042547
Quantity: 15 available
Stock Image
Decision Procedures for Elementary Sublanguages of Set Theory XI Multilevel Syllogistic Extended by Some Elementary Map Constructs Classic Reprint
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9781333042547
Quantity: 15 available
Stock Image
Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs (Classic Reprint)
Published by
Forgotten Books, 2020
ISBN 10: 133304254X
ISBN 13: 9781333042547
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 64. Seller Inventory # C9781333042547
Quantity: Over 20 available