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 ...
Read More
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 ... 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.
Read Less
Add this copy of Decision Procedures for Elementary Sublanguages of Set to cart. $17.09, new condition, Sold by Paperbackshop rated 4.0 out of 5 stars, ships from Bensenville, IL, UNITED STATES, published 2018 by LULU PR.
Add this copy of Decision Procedures for Elementary Sublanguages of Set to cart. $27.16, new condition, Sold by Paperbackshop rated 4.0 out of 5 stars, ships from Bensenville, IL, UNITED STATES, published 2018 by Forgotten Books.
Add this copy of Decision Procedures for Elementary Sublanguages of Set to cart. $32.11, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 2018 by Forgotten Books.
Add this copy of Decision Procedures for Elementary Sublanguages of Set to cart. $49.62, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2015 by Palala Press.
All Editions of Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs (Classic Reprint)
