All ebooks in the collection All - Readzis.co.uk
Readzis program recommandation

All ebooks in the collection "Outstanding Contributions to Logic" - Springer


27  Book(s)
Download this eBook Dag Prawitz on Proofs and Meaning
Add to my wish list

Dag Prawitz on Proofs and Meaning


Heinrich Wansing


This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been...

Publication date: 2014-11-27
Format: ePub
Publisher: Springer
Add to basket
£89,50
Download this eBook Petr Hájek on Mathematical Fuzzy Logic
Add to my wish list

Petr Hájek on Mathematical Fuzzy Logic


Franco Montagna


This volume celebrates the work of Petr Hájek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing his work. The book opens with a discussion on Hájek's contribution to mathematical fuzzy logic and with a...

Publication date: 2014-09-23
Format: ePub
Publisher: Springer
Add to basket
£89,50
Download this eBook Johan van Benthem on Logic and Information Dynamics
Add to my wish list

Johan van Benthem on Logic and Information Dynamics


Alexandru Baltag , Sonja Smets


This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself....

Publication date: 2014-08-27
Format: ePub
Publisher: Springer
Add to basket
£179,50
Download this eBook Leo Esakia on Duality in Modal and Intuitionistic Logics
Add to my wish list

Leo Esakia on Duality in Modal and Intuitionistic Logics


Guram Bezhanishvili


This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape...

Publication date: 2014-06-03
Format: ePub
Publisher: Springer
Add to basket
£89,50
Download this eBook Nuel Belnap on Indeterminism and Free Action
Add to my wish list

Nuel Belnap on Indeterminism and Free Action


Thomas Müller


This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American...

Publication date: 2014-03-21
Format: PDF, ePub
Publisher: Springer
Add to basket
Free
Download this eBook David Makinson on Classical Methods for Non-Classical Problems
Add to my wish list

David Makinson on Classical Methods for Non-Classical Problems


Sven Ove Hansson


The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas.The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his...

Publication date: 2013-12-20
Format: ePub
Publisher: Springer
Add to basket
£129,50
Download this eBook Krister Segerberg on Logic of Actions
Add to my wish list

Krister Segerberg on Logic of Actions


Robert Trypuz


This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions. Following an introduction which functions as a roadmap to Segerberg's works on actions, the first part of...

Publication date: 2013-10-22
Format: ePub
Publisher: Springer
Add to basket
£89,50
<< < 12

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés