Logics and Falsifications, Andreas Kapsner

Автор: Fitting, M.
Название: Proof methods for modal and intuitionistic logics
ISBN: 9048183812 ISBN-13(EAN): 9789048183814
Издательство: Springer
Рейтинг:
Цена: 41647.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.

Автор: Rolf Haenni; Jan-Willem Romeijn; Gregory Wheeler;
Название: Probabilistic Logics and Probabilistic Networks
ISBN: 9400734433 ISBN-13(EAN): 9789400734432
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Probabilistic Logic and Probabilistic Networks presents a groundbreaking framework within which various approaches to probabilistic logic naturally fit. Additionally, the text shows how to develop computationally feasible methods to mesh with this framework.

Автор: Johan van Benthem; Gerhard Heinzmann; Manuel Rebus
Название: The Age of Alternative Logics
ISBN: 9048124859 ISBN-13(EAN): 9789048124855
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. This book embodies the multi-dimensional interplay between logic and science, presenting contributions from scholars on the trends and possible developments for research.

Автор: Andreas Kapsner
Название: Logics and Falsifications
ISBN: 3319052055 ISBN-13(EAN): 9783319052052
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. In the end, the book shows that the constructive path may branch in different directions: towards intuitionistic logic, dual intuitionistic logic and several variations of Nelson logics.

Автор: Guram Bezhanishvili
Название: Leo Esakia on Duality in Modal and Intuitionistic Logics
ISBN: 9401788596 ISBN-13(EAN): 9789401788595
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Leo Esakia on Duality in Modal and Intuitionistic Logics

Автор: Font
Название: A General Algebraic Semantics for Sentential Logics
ISBN: 1107167973 ISBN-13(EAN): 9781107167971
Издательство: Cambridge Academ
Рейтинг:
Цена: 18216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph is an exposition of the very general approach to the algebraization of sentential logics developed by the Barcelona logic group in the 1970s. It shows the results of this approach on a number of particular logics, and relates it to those developed by Blok, Czelakowski, Pigozzi and others.

Автор: Garson
Название: What Logics Mean
ISBN: 110703910X ISBN-13(EAN): 9781107039100
Издательство: Cambridge Academ
Рейтинг:
Цена: 11880.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Garson explores meta-questions about what logic does or should do, examining parts of language, especially connectives such as `and` or `if`. The book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language.

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

Описание: Garson explores meta-questions about what logic does or should do, examining parts of language, especially connectives such as `and` or `if`. The book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language.

Автор: Glenn
Название: Law and the New Logics
ISBN: 1107106958 ISBN-13(EAN): 9781107106956
Издательство: Cambridge Academ
Рейтинг:
Цена: 16632.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents an interdisciplinary conversation between jurists and logicians, reaching across a wide domain of issues arising in law and legal reasoning. The overall theme is the ways in which non-classical logics can enrich our understanding of legal orders.

Автор: 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.

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

Описание: 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.