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

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


8  Book(s)
Download this eBook Hiroakira Ono on Substructural Logics
Add to my wish list

Hiroakira Ono on Substructural Logics


Nikolaos Galatos , Kazushige Terui


This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira...

Publication date: 2021-12-13
Format: PDF, ePub
Publisher: Springer
Add to basket
£129,50
Download this eBook Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Add to my wish list

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs


Ivo Düntsch , Edwin Mares


This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart’s work, and an autobiographical essay by Urquhart.This introductory section is followed by papers on algebraic logic and lattice theory,...

Publication date: 2021-09-24
Format: PDF, ePub
Publisher: Springer
Add to basket
£119,50
Download this eBook Graham Priest on Dialetheism and Paraconsistency
Add to my wish list

Graham Priest on Dialetheism and Paraconsistency


Can Baskent , Thomas Macaulay Ferguson


This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priest’s research has...

Publication date: 2020-01-01
Format: PDF, ePub
Publisher: Springer
Add to basket
£149,50
Download this eBook Ewa Orlowska on Relational Methods in Logic and Computer Science
Add to my wish list

Ewa Orlowska on Relational Methods in Logic and Computer Science


Joanna Golinska-Pilarek , Michal Zawidzki


This book is a tribute to Professor Ewa Orlowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her research. Prof. Orlowska...

Publication date: 2018-12-08
Format: PDF, ePub
Publisher: Springer
Add to basket
£119,50
Download this eBook Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Add to my wish list

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics


Gabriel Sandu , Hans Van Ditmarsch


This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community.This book, whose chapters have been...

Publication date: 2018-01-31
Format: PDF
Publisher: Springer
Add to basket
£139,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 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

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés