A General Algebraic Semantics for Sentential Logics, Font
Автор: Otto Название: Bounded Variable Logics and Counting ISBN: 1107167949 ISBN-13(EAN): 9781107167940 Издательство: Cambridge Academ Рейтинг: Цена: 13694 р. Наличие на складе: Поставка под заказ.
Описание: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.
Автор: Gabbay Название: Conditionals and Modularity in General Logics ISBN: 3642190677 ISBN-13(EAN): 9783642190674 Издательство: Springer Рейтинг: Цена: 15014 р. Наличие на складе: Поставка под заказ.
Описание: This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation. The book will be of value to researchers and graduate students in logic and theoretical computer science.
Описание: Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects.This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.
Описание: Aims to study the computational behaviour of many-dimensional modal logics. This book is concerned with providing a mathematical foundation for this discipline, and shows that different applied many-dimensional systems fit in with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.
Автор: Barwise Название: Model-Theoretic Logics ISBN: 1107168252 ISBN-13(EAN): 9781107168251 Издательство: Cambridge Academ Рейтинг: Цена: 22323 р. Наличие на складе: Поставка под заказ.
Описание: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eighth publication in the Perspectives in Logic series, brings together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers. Part I provides an introduction to the subject as a whole, as well as to the basic theory and examples. The rest of the book addresses finitary languages with additional quantifiers, infinitary languages, second-order logic, logics of topology and analysis, and advanced topics in abstract model theory. Many chapters can be read independently.
Автор: T. Atanassov Название: Intuitionistic Fuzzy Logics ISBN: 3319489526 ISBN-13(EAN): 9783319489520 Издательство: Springer Рейтинг: Цена: 13859 р. Наличие на складе: Поставка под заказ.
Описание:
The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.
Автор: Carnielli Название: Analysis and Synthesis of Logics ISBN: 140206781X ISBN-13(EAN): 9781402067815 Издательство: Springer Рейтинг: Цена: 22521 р. Наличие на складе: Поставка под заказ.
Описание: Presents the mathematical theory of combining and decomposing logics. This book covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). It is suitable for those in mathematical logic, and theory of computation.
Автор: George Metcalfe; Nicola Olivetti; Dov Gabbay Название: Proof Theory for Fuzzy Logics ISBN: 1402094086 ISBN-13(EAN): 9781402094088 Издательство: Springer Рейтинг: Цена: 16169 р. Наличие на складе: Поставка под заказ.
Описание: Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. This book focuses on the development and applications of `proof-theoretic` presentations of fuzzy logics.
Автор: Schechter, Eric Название: Classical and non-classical logics ISBN: 0691122792 ISBN-13(EAN): 9780691122793 Издательство: Wiley Рейтинг: Цена: 13750 р. Наличие на складе: Поставка под заказ.
Описание: In this book, the author introduces classical logic alongside constructive, relevant, comparative, and other nonclassical logics. It begins with brief introductions to informal set theory and general topology, and avoids advanced algebra; thus it is self-contained and suitable for readers with little background in mathematics.
Автор: Paoli F. Название: Substructural Logics: A Primer ISBN: 1402006055 ISBN-13(EAN): 9781402006050 Издательство: Springer Рейтинг: Цена: 22521 р. Наличие на складе: Поставка под заказ.
Описание: Preface. Part I: The philosophy of substructural logics. 1. The role of structural rules in sequent calculi. Part II: The proof theory of substructural logics. 2. Basic proof systems for substructural logics. 3. Cut elimination and the decision problem. 4. Other formalisms. Part III: The algebra of substructural logics. 5. Algebraic structures. 6. Algebraic semantics. 7. Relational semantics. Appendix A: Basic glossary of algebra and graph theory. Appendix B: Other substructural logics. Bibliography. Index of subjects.
Автор: Czelakowski J. Название: Protoalgebraic Logics ISBN: 0792369408 ISBN-13(EAN): 9780792369400 Издательство: Springer Рейтинг: Цена: 20784 р. Наличие на складе: Поставка под заказ.
Описание: Introduction. On the book. Mathematical Prerequisites. Exercises. Notes for Mathematical Prerquisites. 0. Basic definitions and facts. Part I: Protoalgebraic Logics. The Leibniz Operator. 1. Protoalgebraic logics. 2. Protoalgebraicity and the Deduction Theorem. 3. Equivalential logics. Part II: Algebraizable Sentential Logics. Q. Quasivarieties of algebras. 4. Algebraizable logics. 5. Regularly algebraizable logics. 6. Fregean logics. Bibliography. Symbol Index. Index of definitions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
