Dick de Jongh on Intuitionistic and Provability Logics
Author: Nick Bezhanishvili
Publisher: Springer Nature
Published:
Total Pages: 386
ISBN-13: 3031479211
DOWNLOAD EBOOKPosts
Logic, Language, Information, and Computation
Author: Helle Hvid Hansen
Publisher: Springer Nature
Published: 2023-08-28
Total Pages: 420
ISBN-13: 3031397843
DOWNLOAD EBOOKEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11–14, 2023. The 24 full papers (21 contributed, 3 invited) included in this book were carefully reviewed and selected from 46 submissions. The book also contains the abstracts for the 7 invited talks and 4 tutorials presented at WoLLIC 2023. The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.
Logic, Language, and Computation
Author: Martin Aher
Publisher: Springer
Published: 2015-05-04
Total Pages: 346
ISBN-13: 3662469065
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language and computation. The contributions represent these three fields and the symposia aim to foster interaction between them. The book consists of 16 papers that were carefully reviewed and selected from 26 submissions. Each paper has passed through a rigorous peer-review process before being accepted for publication. The volume also contains two summaries of the tutorials that took place at the symposium: the one on admissible rules and the one on the formal semantics of aspectual meaning from a cross-linguistic perspective.
Harvey Friedman's Research on the Foundations of Mathematics
Author: L.A. Harrington
Publisher: Elsevier
Published: 1985-11-01
Total Pages: 407
ISBN-13: 9780080960401
DOWNLOAD EBOOKThis volume discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past fifteen years. It should appeal to a wide audience of mathematicians, computer scientists, and mathematically oriented philosophers.
Logic and the Modalities in the Twentieth Century
Author: Dov M. Gabbay
Publisher: Elsevier
Published: 2006-05-10
Total Pages: 733
ISBN-13: 0080463037
DOWNLOAD EBOOKLogic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas.This volume is number seven in the eleven volume Handbook of the History of Logic. It concentrates on the development of modal logic in the 20th century, one of the most important undertakings in logic's long history. Written by the leading researchers and scholars in the field, the volume explores the logics of necessity and possibility, knowledge and belief, obligation and permission, time, tense and change, relevance, and more. Both this volume and the Handbook as a whole are definitive reference tools for students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration.· Detailed and comprehensive chapters covering the entire range of modal logic.· Contains the latest scholarly discoveries and interpretative insights that answer many questions in the field of logic.
Logic, Language, and Computation
Author: Helle Hvid Hansen
Publisher: Springer
Published: 2017-02-21
Total Pages: 379
ISBN-13: 366254332X
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015. The 18 papers in this book were selected from the invited submissions of full, revised versions of the 37 short papers presented at the conference, and one invited talk. Each paper has passed through a rigorous peer-review process before being accepted for publication. The biennial conference series and the proceedings are representative of the aims of the organizing institutes: to promote the integrated study of logic, information and language. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops.
The Logic of Provability
Author: George Boolos
Publisher: Cambridge University Press
Published: 1995-04-28
Total Pages: 318
ISBN-13: 9780521483254
DOWNLOAD EBOOKBoolos, a pre-eminent philosopher of mathematics, investigates the relationship between provability and modal logic.
Mathematics, Logic, and their Philosophies
Author: Mojtaba Mojtahedi
Publisher: Springer Nature
Published: 2021-02-09
Total Pages: 493
ISBN-13: 3030536548
DOWNLOAD EBOOKThis volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna’s logic and philosophy. Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community.
Leo Esakia on Duality in Modal and Intuitionistic Logics
Author: Guram Bezhanishvili
Publisher: Springer
Published: 2014-06-03
Total Pages: 340
ISBN-13: 940178860X
DOWNLOAD EBOOKThis 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 semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the Gödel-Löb provability logic GL. One chapter scrutinizes Esakia’s work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues.
Preference Change
Author: Till Grüne-Yanoff
Publisher: Springer Science & Business Media
Published: 2009-06-11
Total Pages: 273
ISBN-13: 9048125936
DOWNLOAD EBOOKChanging preferencesis a phenomenonoften invoked but rarely properlyaccounted for. Throughout the history of the social sciences, researchers have come against the possibility that their subjects’ preferenceswere affected by the phenomenato be explainedor by otherfactorsnot taken into accountin the explanation.Sporadically, attempts have been made to systematically investigate these in uences, but none of these seems to have had a lasting impact. Today we are still not much further with respect to preference change than we were at the middle of the last century. This anthology hopes to provide a new impulse for research into this important subject. In particular, we have chosen two routes to amplify this impulse. First, we stress the use of modellingtechniquesfamiliar from economicsand decision theory. Instead of constructing complex, all-encompassing theories of preference change, the authors of this volume start with very simple, formal accounts of some possible and hopefully plausible mechanism of preference change. Eventually, these models may nd their way into larger, empirically adequate theories, but at this stage, we think that the most importantwork lies in building structure.Secondly,we stress the importance of interdisciplinary exchange. Only by drawing together experts from different elds can the complex empirical and theoretical issues in the modelling of preference change be adequately investigated.
