Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi, Indrzejczak Andrzej
Автор: Francesca Poggiolesi Название: Gentzen Calculi for Modal Propositional Logic ISBN: 9400734425 ISBN-13(EAN): 9789400734425 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is about proof theory for (the main systems of) modal logic. It is the first book to give a uniform and exhaustive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones.
Автор: Bimbo Katalin Название: Proof Theory: Sequent Calculi and Related Formalisms ISBN: 1466564660 ISBN-13(EAN): 9781466564664 Издательство: Taylor&Francis Рейтинг: Цена: 16843.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic.
In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and intuitionistic logics. She then presents other non-classical logics and meta-logical results, including decidability results obtained specifically using sequent calculus formalizations of logics.
The book is suitable for a wide audience and can be used in advanced undergraduate or graduate courses. Computer scientists will discover intriguing connections between sequent calculi and resolution as well as between sequent calculi and typed systems. Those interested in the constructive approach will find formalizations of intuitionistic logic and two calculi for linear logic. Mathematicians and philosophers will welcome the treatment of a range of variations on calculi for classical logic. Philosophical logicians will be interested in the calculi for relevance logics while linguists will appreciate the detailed presentation of Lambek calculi and their extensions.
Автор: Avicenna Название: The Propositional Logic of Avicenna ISBN: 9401026262 ISBN-13(EAN): 9789401026260 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The main purpose of this work is to provide an English translation of and commentary on a recently published Arabic text dealing with con- ditional propositions and syllogisms. The text is that of A vicenna (Abu represents his views on the subject as they were held throughout his life.
Автор: Witold A. Pogorzelski; Piotr Wojtylak Название: Completeness Theory for Propositional Logics ISBN: 3764385170 ISBN-13(EAN): 9783764385170 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book develops the theory of one of the most important notions in the methodology of formal systems. Particularly, completeness plays an important role in propositional logic where many variants of the notion have been defined. For these purposes, the theory of logical matrices, and the theory of consequence operations is exploited.
Автор: Epstein Richard L. Название: Propositional Logics Third Edition ISBN: 0983452164 ISBN-13(EAN): 9780983452164 Издательство: Неизвестно Рейтинг: Цена: 9187.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Indrzejczak, Andrzej Название: Sequents and trees ISBN: 3030571440 ISBN-13(EAN): 9783030571443 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
Описание: rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.
Автор: Ryszard W?jcicki Название: Theory of Logical Calculi ISBN: 9027727856 ISBN-13(EAN): 9789027727855 Издательство: Springer Рейтинг: Цена: 36756.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly concemed with propo- gjtional cakuli. Still, the subject, as it stands today, cannot br covered in one book of reasonable length. Rather than to try to include in the volume as much as possible, I have put emphasis on some selected topics. Even these could not be roverrd completely, but for each topic I have attempted to present a detailed and precise t'Xposition of several basic results including some which are non-trivial. The roots of some of the central ideas in the volume go back to J.Luka- siewicz's seminar on mathematicallogi
Автор: Marek Victor Название: Introduction to Propositional Satisfiability ISBN: 1848901399 ISBN-13(EAN): 9781848901391 Издательство: Неизвестно Рейтинг: Цена: 4874.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Frege’s puzzle concerning belief reports has been in the middle of the discussion on semantics and pragmatics of attitude reports: The intuition behind the opacity does not seem to be consistent with the thesis of semantic innocence according to which the semantic value of proper names is nothing but their referent. Main tasks of this book include providing truth-conditional content of belief reports. Especially, the focusis on semantic values of proper names. The keyaim is to extend Crimmins’s basic idea of semantic pretense and the introduction of pleonastic entities proposed by Schiffer. They enable us to capture Frege’s puzzle in the analysis without giving up semantic innocence. To reach this conclusion, two issues are established. First, based on linguistic evidence, the frame of belief reports functions adverbially rather than relationally. Second, the belief ascriptions, on which each belief report is made, must be analyzed in terms of the measurement-theoretic analogy.
Автор: Avron, Arnon Arieli, Ofer Zamansky, Anna Название: Theory of effective propositional paraconsistent logics ISBN: 1848902700 ISBN-13(EAN): 9781848902701 Издательство: Неизвестно Рейтинг: Цена: 5150.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Introduction: The Proscriptive Principle.-Nonsense and Proscription*.- Metaphysical Considerations on State Space Semantics.- A Computational Interpretation of Conceptivism*.- Faulty Belnap Computers and Subsystems of Efde*.- Cut-Down Operations on Multilattices*.- Correia Semantics Revisited*.- Concluding Remarks.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
