Контакты/Проезд  Доставка и Оплата Помощь/Возврат
  +7(495) 980-12-10
  пн-пт: 10-18
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |

Protoalgebraic Logics, Czelakowski J.

Варианты приобретения
Цена: 20784р.
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 19 июл 2022
Ориентировочная дата поставки: Август
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Czelakowski J.
Название:  Protoalgebraic Logics
ISBN: 9780792369400
Издательство: Springer
ISBN-10: 0792369408
Обложка/Формат: Hardback
Страницы: 464
Вес: 0.829 кг.
Дата издания: 2001
Серия: Trends in Logic
Язык: English
Иллюстрации: 1, black & white illustrations
Размер: 24.69 x 16.51 x 3.15
Читательская аудитория: Postgraduate, research & scholarly
Ссылка на Издательство: Link
Поставляется из: Германии
Дополнительное описание: Формат: x160
Ключевые слова:
Язык: eng

What Logics Mean

Автор: Garson
Название: What Logics Mean
ISBN: 1107611962 ISBN-13(EAN): 9781107611962
Издательство: Cambridge Academ
Цена: 3285 р.
Наличие на складе: Поставка под заказ.

Описание: What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives (such as 'and', 'or', 'not' and 'if … then'), whose behaviour is defined by strict rules, and proves definitive results concerning exactly what those rules express about connective truth conditions. He explores the ways in which, depending on circumstances, a system of rules may provide no interpretation of a connective at all, or the interpretation we ordinarily expect for it, or an unfamiliar or novel interpretation. He also shows how the novel interpretations thus generated may be used to help analyse philosophical problems such as vagueness and the open future. His book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language.

The Realism-Antirealism Debate in the Age of Alternative Logics

Автор: Rahman
Название: The Realism-Antirealism Debate in the Age of Alternative Logics
ISBN: 9400719221 ISBN-13(EAN): 9789400719224
Издательство: Springer
Цена: 21366 р.
Наличие на складе: Поставка под заказ.

Описание: The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now known as `explicit epistemic logic'. Under this view, epistemic contents are introduced into the object language as operators yielding propositions from propositions, rather than as metalogical constraints on the notion of inference.The Realism-Antirealism debate has thus had three players: classical logicians, intuitionists and explicit epistemic logicians. The editors of the present volume believe that in the age of Alternative Logics, where manifold developments in logic happen at a breathtaking pace, this debate should be revisited. Contributors to this volume happily took on this challenge and responded with new approaches to the debate from both the explicit and the implicit epistemic point of view.

Analysis and Synthesis of Logics

Автор: Carnielli
Название: Analysis and Synthesis of Logics
ISBN: 140206781X ISBN-13(EAN): 9781402067815
Издательство: Springer
Цена: 22521 р.
Наличие на складе: Поставка под заказ.

Описание: Presents the mathematical theory of combining and decomposing logics. This book covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). It is suitable for those in mathematical logic, and theory of computation.

Proof Theory for Fuzzy Logics

Автор: George Metcalfe; Nicola Olivetti; Dov Gabbay
Название: Proof Theory for Fuzzy Logics
ISBN: 1402094086 ISBN-13(EAN): 9781402094088
Издательство: Springer
Цена: 16169 р.
Наличие на складе: Поставка под заказ.

Описание: Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. This book focuses on the development and applications of `proof-theoretic` presentations of fuzzy logics.

Classical and non-classical logics

Автор: Schechter, Eric
Название: Classical and non-classical logics
ISBN: 0691122792 ISBN-13(EAN): 9780691122793
Издательство: Wiley
Цена: 13750 р.
Наличие на складе: Поставка под заказ.

Описание: In this book, the author introduces classical logic alongside constructive, relevant, comparative, and other nonclassical logics. It begins with brief introductions to informal set theory and general topology, and avoids advanced algebra; thus it is self-contained and suitable for readers with little background in mathematics.

Introduction to substructural logics

Автор: Restall, Greg
Название: Introduction to substructural logics
ISBN: 041521534X ISBN-13(EAN): 9780415215343
Издательство: Taylor&Francis
Цена: 4536 р.
Наличие на складе: Поставка под заказ.

Описание: An introduction to an important group of logics that have come to be known under the umbrella term susbstructural. Substructural logics have independently led to significant developments in philosophy, computing and linguistics.

Sheaves, Games, and Model Completions / A Categorical Approach to Nonclassical Propositional Logics

Автор: Ghilardi S., Zawadowski M.
Название: Sheaves, Games, and Model Completions / A Categorical Approach to Nonclassical Propositional Logics
ISBN: 1402006608 ISBN-13(EAN): 9781402006609
Издательство: Springer
Цена: 17324 р.
Наличие на складе: Поставка под заказ.

Описание: This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts: existence of model completions, amalgamability, Beth definability, interpretability of second order quantifiers and uniform interpolation, definability of dual connectives like difference, projectivity, etc. are among the numerous topics which are covered. Dualities and sheaf representations are the main techniques in the book, together with Ehrenfeucht-FraissГ© games and bounded bisimulations. The categorical instruments employed are rich, but a specific extended Appendix explains to the reader all concepts used in the text, starting from the very basic definitions to what is needed from topos theory. Audience: The book is addressed to a large spectrum of professional logicians, from such different areas as modal logics, categorical and algebraic logic, model theory and universal algebra.

Substructural Logics: A Primer

Автор: Paoli F.
Название: Substructural Logics: A Primer
ISBN: 1402006055 ISBN-13(EAN): 9781402006050
Издательство: Springer
Цена: 22521 р.
Наличие на складе: Поставка под заказ.

Описание: Preface. Part I: The philosophy of substructural logics. 1. The role of structural rules in sequent calculi. Part II: The proof theory of substructural logics. 2. Basic proof systems for substructural logics. 3. Cut elimination and the decision problem. 4. Other formalisms. Part III: The algebra of substructural logics. 5. Algebraic structures. 6. Algebraic semantics. 7. Relational semantics. Appendix A: Basic glossary of algebra and graph theory. Appendix B: Other substructural logics. Bibliography. Index of subjects.

Model-Theoretic Logics

Автор: Barwise
Название: Model-Theoretic Logics
ISBN: 1107168252 ISBN-13(EAN): 9781107168251
Издательство: Cambridge Academ
Цена: 22323 р.
Наличие на складе: Поставка под заказ.

Описание: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eighth publication in the Perspectives in Logic series, brings together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers. Part I provides an introduction to the subject as a whole, as well as to the basic theory and examples. The rest of the book addresses finitary languages with additional quantifiers, infinitary languages, second-order logic, logics of topology and analysis, and advanced topics in abstract model theory. Many chapters can be read independently.

A New Perspective on Nonmonotonic Logics

Автор: Dov M. Gabbay; Karl Schlechta
Название: A New Perspective on Nonmonotonic Logics
ISBN: 3319468154 ISBN-13(EAN): 9783319468150
Издательство: Springer
Цена: 12704 р.
Наличие на складе: Поставка под заказ.

Описание: In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations.It is suitable for researchers in the area of computer science and mathematical logic.

Probability Logics

Автор: Zoran Ognjanovi?; Miodrag Ra?kovi?; Zoran Markovi?
Название: Probability Logics
ISBN: 3319470116 ISBN-13(EAN): 9783319470115
Издательство: Springer
Цена: 10971 р.
Наличие на складе: Поставка под заказ.

Описание: The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the literature.An extensive bibliography is provided to point to related work, and this book may serve as a basis for further research projects, as a reference for researchers using probability logic, and also as a textbook for graduate courses in logic.

Conditionals and Modularity in General Logics

Автор: Dov M. Gabbay; Karl Schlechta
Название: Conditionals and Modularity in General Logics
ISBN: 3642270654 ISBN-13(EAN): 9783642270659
Издательство: Springer
Цена: 15014 р.
Наличие на складе: Поставка под заказ.

Описание: This book covers modularity and independence in classical and nonclassical logic, including many-valued logics and structures, plus neighbourhood semantics and their connection to independence, as well as their common points and differences for various logics.

ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия