Natural Deduction, Hybrid Systems and Modal Logics, Andrzej Indrzejczak
Автор: Ricardo Caferra; Gernot Salzer Название: Automated Deduction in Classical and Non-Classical Logics ISBN: 3540671900 ISBN-13(EAN): 9783540671909 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This title presents papers reflecting the status of research in automated deduction in classical and non-classical logics. Most of the results presented rely on resolution or tableaux methods with a few exceptions choosing the equational paradigm.
Автор: M. Fitting Название: Proof Methods for Modal and Intuitionistic Logics ISBN: 9027715734 ISBN-13(EAN): 9789027715739 Издательство: Springer Рейтинг: Цена: 277650.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.
Автор: Fitting, M. Название: Proof methods for modal and intuitionistic logics ISBN: 9048183812 ISBN-13(EAN): 9789048183814 Издательство: Springer Рейтинг: Цена: 277650.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Leo Esakia on Duality in Modal and Intuitionistic Logics
Автор: Mauricio Ayala Rincon Название: Applied logic for computer scientists. Computational Deduction and formal Proofs ISBN: 3319516515 ISBN-13(EAN): 9783319516516 Издательство: Springer Рейтинг: Цена: 41920.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.
Автор: Luiz Carlos Pereira; Edward Hermann Haeusler; Vale Название: Advances in Natural Deduction ISBN: 9400775474 ISBN-13(EAN): 9789400775473 Издательство: Springer Рейтинг: Цена: 125770.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the latest research in proof theory and its many applications.
Автор: Luiz Carlos Pereira; Edward Hermann Haeusler; Vale Название: Advances in Natural Deduction ISBN: 9402406875 ISBN-13(EAN): 9789402406870 Издательство: Springer Рейтинг: Цена: 125770.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the latest research in proof theory and its many applications.
Автор: Guram Bezhanishvili Название: Leo Esakia on Duality in Modal and Intuitionistic Logics ISBN: 9402403388 ISBN-13(EAN): 9789402403381 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
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.
Автор: Michael Fisher; Richard Owens Название: Executable Modal and Temporal Logics ISBN: 3540589767 ISBN-13(EAN): 9783540589761 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume contains the proceedings of the 1993 Workshop on Executable Modal and Temporal Logics, held in Chambery, France in August 1993. A range of approaches is addressed, not only from the logical point of view, but also from programming language and application perspectives.
Автор: Dov M. Gabbay Название: Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics ISBN: 9027706565 ISBN-13(EAN): 9789027706560 Издательство: Springer Рейтинг: Цена: 181670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
