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 Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Marek Victor Название: Introduction to Propositional Satisfiability ISBN: 1848901399 ISBN-13(EAN): 9781848901391 Издательство: Неизвестно Рейтинг: Цена: 32490.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Avicenna Название: The Propositional Logic of Avicenna ISBN: 9401026262 ISBN-13(EAN): 9789401026260 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Tomoo Ueda Название: Telling What She Thinks: Semantics and pragmatics of propositional attitude reports ISBN: 3110438801 ISBN-13(EAN): 9783110438802 Издательство: Walter de Gruyter Цена: 99110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Witold A. Pogorzelski; Piotr Wojtylak Название: Completeness Theory for Propositional Logics ISBN: 3764385170 ISBN-13(EAN): 9783764385170 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Avron, Arnon Arieli, Ofer Zamansky, Anna Название: Theory of effective propositional paraconsistent logics ISBN: 1848902700 ISBN-13(EAN): 9781848902701 Издательство: Неизвестно Рейтинг: Цена: 34330.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
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.
Автор: Tomasz Jarmuzek Название: Tableau Methods for Propositional Logic and Term Logic ISBN: 3631833725 ISBN-13(EAN): 9783631833728 Издательство: Peter Lang Рейтинг: Цена: 67910.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.
Автор: Epstein Richard L. Название: Propositional Logics Third Edition ISBN: 0983452164 ISBN-13(EAN): 9780983452164 Издательство: Неизвестно Рейтинг: Цена: 61250.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Walter Carnielli; R.L. Epstein; Itala M. d`Ottavia Название: The Semantic Foundations of Logic Volume 1: Propositional Logics ISBN: 9401067228 ISBN-13(EAN): 9789401067225 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The act of abstracting from our reasoning in our usual language is the stepping stone from reasoned argument to logic. We cannot take this step alone, for we reason together: logic is reasoning which has some objective value.
Автор: Bimbo Katalin Название: Proof Theory: Sequent Calculi and Related Formalisms ISBN: 1466564660 ISBN-13(EAN): 9781466564664 Издательство: Taylor&Francis Рейтинг: Цена: 112290.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
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.
Автор: Indrzejczak, Andrzej Название: Sequents and trees ISBN: 3030571440 ISBN-13(EAN): 9783030571443 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
