Автор: 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.
Описание: 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.
Описание: 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.
Описание: Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. While the first volume of 1992 was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and latest developments in closely related fields, such as fuzzy logics and rough set theory. It offers an extensive overview of Gentzen deduction systems and multi-sequential systems in many-valued logics and shows the application of the resolution principle to this logics. It discusses applications in such areas as software specification and electronic circuit verification and presents fuzzy logics and rough set theory in detail.
Автор: Fari?as del Cerro Название: Logics in Artificial Intelligence ISBN: 3642333524 ISBN-13(EAN): 9783642333521 Издательство: Springer Рейтинг: Цена: 8085 р. Наличие на складе: Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The papers cover various aspects of theory and methods of logic for artificial intelligence.
Автор: 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.
Описание: This book covers modularity and independence in classical and nonclassical logic, including many-valued logics and structures, plus neighbourhood semantics and their connection to independence, as well as their common points and differences for various logics.
Автор: Johan van Benthem; Gerhard Heinzmann; Manuel Rebus Название: The Age of Alternative Logics ISBN: 9048124859 ISBN-13(EAN): 9789048124855 Издательство: Springer Рейтинг: Цена: 10047 р. Наличие на складе: Поставка под заказ.
Описание: In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. This book embodies the multi-dimensional interplay between logic and science, presenting contributions from scholars on the trends and possible developments for research.
Автор: 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.
Автор: Pitts Название: Semantics and Logics of Computation ISBN: 0521118468 ISBN-13(EAN): 9780521118460 Издательство: Cambridge Academ Рейтинг: Цена: 4792 р. Наличие на складе: Поставка под заказ.
Описание: The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.
Автор: 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.
Описание: 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 seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of sentential logics and present its results on a number of particular logics. The authors compare their approach, which uses abstract logics, to the classical approach based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. This monograph presents a systematized account of some of the work on the algebraic study of sentential logics carried out by the logic group in Barcelona in the 1970s.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru