Tous les livres numériques de la collection "Trends in Logic" - Springer

28 Livre(s)
Télécharger le livre : Dual Tableaux: Foundations, Methodology, Case Studies
Dual Tableaux: Foundations, Methodology, Case Studies
Joanna Golinska Pilarek , Ewa Orlowska
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories...

Editeur : Springer
Parution : 2012-01-07
Collection : Trends in Logic ePub

147,69 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Truth and Falsehood
Truth and Falsehood
Yaroslav Shramko , Heinrich Wansing
The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some...

Editeur : Springer
Parution : 2011-09-15
Collection : Trends in Logic ePub

94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Advanced Lukasiewicz calculus and MV-algebras
Advanced Lukasiewicz calculus and MV-algebras
D. Mundici
This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments of Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi)...

Editeur : Springer
Parution : 2011-06-22
Collection : Trends in Logic ePub

94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Paradoxes
Paradoxes
Marek Gensler , Piotr Lukowski
This book, provides a critical approach to all major logical paradoxes: from ancient to contemporary ones. There are four key aims of the book: 1. Providing systematic and historical survey of different approaches – solutions of the most prominent paradoxes discussed in...

Editeur : Springer
Parution : 2011-06-02
Collection : Trends in Logic ePub

94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Methods of Cut-Elimination
Methods of Cut-Elimination
Matthias Baaz , Alexander Leitsch
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic...

Editeur : Springer
Parution : 2011-01-07
Collection : Trends in Logic ePub

94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Gentzen Calculi for Modal Propositional Logic
Gentzen Calculi for Modal Propositional Logic
Francesca Poggiolesi
The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent...

Editeur : Springer
Parution : 2010-11-19
Collection : Trends in Logic ePub

137,14 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
Andrzej Indrzejczak
A good title should be informative enough to illuminate a potential reader on the content of a book. We hope that the present title gives at least some hints of what this book is about. The notion of natural deduction or modal logic are rather well known, but the notion...

Editeur : Springer
Parution : 2010-07-03
Collection : Trends in Logic ePub

231,04 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Goguen Categories
Goguen Categories
Michael Winter
Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices this book introduces several categorical formulations of an abstract theory of relations...

Editeur : Springer
Parution : 2007-08-14
Collection : Trends in Logic PDF

94,94 €
Téléchargement immédiat
Dès validation de votre commande
<< < 12