A Short Introduction to Intuitionistic Logic, Grigori Mints
Автор: 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.
Автор: 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.
Автор: Krassimir T. Atanassov Название: Intuitionistic Fuzzy Sets ISBN: 3790824631 ISBN-13(EAN): 9783790824636 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The late George Gargov (7 April 1947 - 9 November 1996) is the "god- father" of the sets I introduced - in fact, he has invented the name "intu- itionistic fuzzy", motivated by the fact that the law of the excluded middle does not hold for them.
Автор: M. Fitting Название: Proof Methods for Modal and Intuitionistic Logics ISBN: 9027715734 ISBN-13(EAN): 9789027715739 Издательство: 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: 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.
Автор: 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
Автор: T. Atanassov Название: Intuitionistic Fuzzy Logics ISBN: 3319489526 ISBN-13(EAN): 9783319489520 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Автор: Krassimir T. Atanassov Название: Intuitionistic Fuzzy Sets ISBN: 3790812285 ISBN-13(EAN): 9783790812282 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The basic definitions and properties of the intuitionistic fuzzy sets (IFSs) are introduced here. The IFSs are substantial extensions of the ordinary fuzzy sets. IFSs are objects having degrees of membership and of non-membership such that their sum is exactly one.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
