Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators (Classic Reprint) - Rilegato

Cantone, D.

Rilegato

ISBN 10: 0656050411 ISBN 13: 9780656050413

Casa editrice: Forgotten Books, 2018

Riassunto

Excerpt from Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators

The intended meaning of the language is that in which variables range over (possibly infinite) sets in the standard universe of 'naive' set theory, and the var ious standard set-theoretic Operator and predicate symbols have their standard meanings; hence an interpretation M of a set of sentences d) of our language is a function which maps every variable a: into a set M 2. If all the sentences of p are true under some interpretation of this kind, is said to be satisfiable and each interpretation which satisfies P is called a model of (note that all our considerations are easily formalizable in zpo, and in fact even in weaker set-theoretical systems, since the language with which we work includes only a very few constructs. But we will not belabor this technical point since this paper is concerned with computational rather than foundational questions.)

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.

Dettagli dell?edizione

• Editore: Forgotten Books
• Data di pubblicazione: 2018
• Lingua: Inglese
• ISBN 10: 0656050411
• ISBN 13: 9780656050413
• Rilegatura: Copertina rigida
• Numero di pagine: 56
• Contatto del produttore: Copytech (UK) Ltd, Trading as Printondemand-worldwide.com; gpsr@podww.com; ; 9 Culley Court; Orton Southgate; Peterborough; Cambridgeshire; PE2 6WA; Regno Unito
• Persona responsabile: Easy Access System Europe Oü, 16879218; +358405003575; gpsr.requests@easproject.com; ; Mustamäe tee 50; Tallinn; 10621; Estonia