Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry, Ferguson Thomas Macaulay
Автор: 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.
Автор: 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.
Автор: Thomas Macaulay Ferguson Название: Meaning and Proscription in Formal Logic ISBN: 3319708201 ISBN-13(EAN): 9783319708201 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics.
A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges - its effervescence with respect to fields ranging from metaphysics to computer programming - provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain hidden. More concretely, the book identifies and discusses a host of cases in which analytic implication can play an important role in revealing distinct problems to be facets of a larger, cross-disciplinary problem.
It introduces an element of constancy and cohesion that has previously been absent in a regrettably fractured field, shoring up those who are sympathetic to the worth of mereological analogy. Moreover, it generates new interest in the field by illustrating a wide range of interesting features present in such logics - and highlighting these features to appeal to researchers in many fields.
Автор: Epstein Richard L. Название: Propositional Logics Third Edition ISBN: 0983452164 ISBN-13(EAN): 9780983452164 Издательство: Неизвестно Рейтинг: Цена: 9187.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.
Автор: 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.
Автор: Tomasz Jarmuzek Название: Tableau Methods for Propositional Logic and Term Logic ISBN: 3631833725 ISBN-13(EAN): 9783631833728 Издательство: Peter Lang Рейтинг: Цена: 10187.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Автор: 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 Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Bonacina Название: Space in Weak Propositional Proof Systems ISBN: 3319734520 ISBN-13(EAN): 9783319734521 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book considers logical proof systems from the point of view of their space complexity.
Автор: Bonacina Ilario Название: Space in Weak Propositional Proof Systems ISBN: 3319892495 ISBN-13(EAN): 9783319892498 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book considers logical proof systems from the point of view of their space complexity.
Автор: Marek Victor Название: Introduction to Propositional Satisfiability ISBN: 1848901399 ISBN-13(EAN): 9781848901391 Издательство: Неизвестно Рейтинг: Цена: 4874.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
