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 duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area.
Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations to weak Heyting algebras and implicative...
This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by lea...
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. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, and often stressing Johan...
This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate way...
This volume celebrates the work of Petr Hajek 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 Hajek's contribution to mathematical fuzzy logic and with a scientific biography of him, progresses to include two articles with a foundation flavour, that demonstrate some important aspects of Hajek's production, namely, a paper on the development of fuzzy sets and another paper on some fuzzy versions of set theory and arithmetic.
Articles in the volume also focus on the treatment...
This volume celebrates the work of Petr Hajek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are ...
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. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934.
The book opens with an introductory paper that surveys Prawitz's...
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contribu...
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. He later published a related interpretation of the logic R-mingle, which turned out to be one of the first relational semantics for a relevance logic. An incompatibility relation between information states lends itself to a definition of negation and it has figured into Dunn's...
This book celebrates and expands on J. Michael Dunn's work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced ...
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.
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections betwee...
And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today.
And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem...
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. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934.
The book opens with an introductory paper that surveys Prawitz's...
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contribu...
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 logician and philosopher.
Philosophically, indeterminism and free action can seem far apart, but in Belnap's work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth on Belnap's logical and philosophical work. Some...
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 i...
This volume celebrates the work of Petr Hajek 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 Hajek's contribution to mathematical fuzzy logic and with a scientific biography of him, progresses to include two articles with a foundation flavour, that demonstrate some important aspects of Hajek's production, namely, a paper on the development of fuzzy sets and another paper on some fuzzy versions of set theory and arithmetic.
Articles in the volume also focus on the treatment...
This volume celebrates the work of Petr Hajek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are ...