Isbn: 9781333072308 - decision procedures for elementary sublanguages of set theory: x. multilevel syllogistic extended by the singleton and powerset operators (classic rep (3 risultati)

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Condizione: New. Print on Demand. This book explores the intersection of set theory and propositional logic, focusing on the satisfiability problem and relationships to model theory. The author, a respected figure in mathematical logic, provides an in-depth analysis of the class of formulae involving set-theoretic atoms, Boolean operators, equality, and membership predicates. The book delves into decision procedures for these formulae, establishing solvable satisfiability problems for a specific class within this wider group. Moreover, it demonstrates a fundamental connection between satisfiability and the existence of hereditarily finite models for these formulae, providing novel insights into the interplay between syntax and model theory. Through detailed proofs and technical exposition, this book offers a significant contribution to the study of set theory and its applications in propositional logic and model theory. 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.…