Filteren
1
Sorteren
51 resultaten
gebondenEngels9783030714291
25-9-2021
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. Meer
paperbackEngels9783030714321
26-9-2022
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. Meer
paperbackEngels9783319349459
3-9-2016
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. Meer
gebondenEngels9783319418414
9-2-2017
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. Meer
paperbackEngels9783319888620
6-6-2019
This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. Meer
paperbackEngels9783031444920
13-3-2025
This book is dedicated to the life and work of logician Janusz Czelakowski on the topic of logical consequence. It consists of three parts – a biography, a survey and research sections. Meer
paperbackEngels9783319805351
20-4-2018
This book celebrates and expands on J. Michael Dunn’s work on
informational interpretations of logic. Dunn, in his Ph.D. thesis (1966),
introduced a semantics for first-degree entailments utilizing the idea that a
sentence can provide positive or negative information about a topic, possibly
supplying both or neither. Meer
gebondenEngels9783319699165
12-2-2018
This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. Meer
gebondenEngels9783031509803
13-2-2024
This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. Meer
paperbackEngels9783319838380
20-7-2018
This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. Meer
gebondenEngels9783319687315
22-1-2018
This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field. Meer
gebondenEngels9783319633329
16-4-2018
This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics. Meer
gebondenEngels9783030665449
21-3-2021
This book is dedicated to the life and work of the mathematician Joachim Lambek (1922–2014). The editors gather together noted experts to discuss the state of the art of various of Lambek’s works in logic, category theory, and linguistics and to celebrate his contributions to those areas over the course of his multifaceted career. Meer
paperbackEngels9783030665470
21-3-2022
This book is dedicated to the life and work of the mathematician Joachim Lambek (1922–2014). The editors gather together noted experts to discuss the state of the art of various of Lambek’s works in logic, category theory, and linguistics and to celebrate his contributions to those areas over the course of his multifaceted career. Meer
paperbackEngels9783319360317
22-9-2016
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 extremely influential in the development of modern proof theory and anti-realistic semantics. Meer
gebondenEngels9783319478425
10-3-2017
This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. Meer
gebondenEngels9783319292984
11-4-2016
This book celebrates and expands on J. Michael Dunn’s work on
informational interpretations of logic. Dunn, in his Ph.D. thesis (1966),
introduced a semantics for first-degree entailments utilizing the idea that a
sentence can provide positive or negative information about a topic, possibly
supplying both or neither. Meer
gebondenEngels9783319110400
8-12-2014
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 extremely influential in the development of modern proof theory and anti-realistic semantics. Meer
gebondenEngels9783319017532
3-4-2014
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. Meer
gebondenEngels9783319062327
6-10-2014
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. Meer