Proof Methods for Modal and Intuitionistic Logics, M. Fitting

Автор: Fitting, M.
Название: Proof methods for modal and intuitionistic logics
ISBN: 9048183812 ISBN-13(EAN): 9789048183814
Издательство: Springer
Рейтинг:
Цена: 41647.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.

Автор: Guram Bezhanishvili
Название: Leo Esakia on Duality in Modal and Intuitionistic Logics
ISBN: 9401788596 ISBN-13(EAN): 9789401788595
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Leo Esakia on Duality in Modal and Intuitionistic Logics

Автор: Fitting
Название: First-Order Modal Logic
ISBN: 0792353358 ISBN-13(EAN): 9780792353355
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Поставка под заказ.

Описание: Presents a treatment of first-order modal logic, together with propositional background. This book covers quantification, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege`s morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; and more.

Автор: Guram Bezhanishvili
Название: Leo Esakia on Duality in Modal and Intuitionistic Logics
ISBN: 9402403388 ISBN-13(EAN): 9789402403381
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia's original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area.

Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the G del-L b provability logic GL. One chapter scrutinizes Esakia's work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues.

Автор: Dov M. Gabbay
Название: Semantical Investigations in Heyting`s Intuitionistic Logic
ISBN: 9027712026 ISBN-13(EAN): 9789027712028
Издательство: Springer
Рейтинг:
Цена: 27944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: From the point of view of non-classical logics, Heyting`s implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt- ing`s implication.

Автор: Dov M. Gabbay
Название: Semantical Investigations in Heyting`s Intuitionistic Logic
ISBN: 9048183626 ISBN-13(EAN): 9789048183623
Издательство: Springer
Рейтинг:
Цена: 27944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: From the point of view of non-classical logics, Heyting`s implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt- ing`s implication.

Автор: Grigori Mints
Название: A Short Introduction to Intuitionistic Logic
ISBN: 1475773196 ISBN-13(EAN): 9781475773194
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

Автор: Dov M. Gabbay
Название: Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
ISBN: 9027706565 ISBN-13(EAN): 9789027706560
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation (which is a generalization of the notion of a logical system) and of a semantics.

Автор: Andrzej Indrzejczak
Название: Natural Deduction, Hybrid Systems and Modal Logics
ISBN: 9048187842 ISBN-13(EAN): 9789048187843
Издательство: Springer
Рейтинг:
Цена: 36197.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction.

Автор: George Metcalfe; Nicola Olivetti; Dov M. Gabbay
Название: Proof Theory for Fuzzy Logics
ISBN: 9048181216 ISBN-13(EAN): 9789048181216
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This accessible and up-to-date introduction to fuzzy logics focuses on the development and applications of "proof theoretic" presentations of fuzzy logics, including more than ten years of intensive work by researchers in that area.