This book, the first of two volumes, provides novel perspectives on the study of abduction, by analyzing both Magnani's ample investigation of the subject and discussing its rising importance in today's epistemology and philosophy of science.
This book, the first of two volumes, provides novel perspectives on the study of abduction, by analyzing both Magnani's ample investigation of the subject and discussing its rising importance in today's epistemology and philosophy of science.
This book, the second of two volumes, focuses on scientific cognition, computationalism, and scholars' reception of what Lorenzo Magnani named "e;eco-cognitive"e; views on the mind.
This book, the second of two volumes, focuses on scientific cognition, computationalism, and scholars' reception of what Lorenzo Magnani named "e;eco-cognitive"e; views on the mind.
This book addresses the well-known capability and flexibility of classical and constructive semigroups (inherited from algebraic structures), to model, solve problems in extremely diverse situations, and develop interesting new algebraic ideas with many applications and connections to other areas of mathematics (logic, biomathematics, analysis, geometry, etc.
This book addresses the well-known capability and flexibility of classical and constructive semigroups (inherited from algebraic structures), to model, solve problems in extremely diverse situations, and develop interesting new algebraic ideas with many applications and connections to other areas of mathematics (logic, biomathematics, analysis, geometry, etc.
This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3–5, 2025.
This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3–5, 2025.
This book constitutes the proceedings of the Third International Conference on Human and Artificial Rationalities, HAR 2024, which took place in Paris, France, in September 2024.
This book constitutes the proceedings of the Third International Conference on Human and Artificial Rationalities, HAR 2024, which took place in Paris, France, in September 2024.
This book constitutes the refereed proceedings of the 21st Conference on Computability and Logic, CiE 2025, held in Lisbon, Portugal, during July 14–18, 2025.
This book constitutes the refereed proceedings of the 21st Conference on Computability and Logic, CiE 2025, held in Lisbon, Portugal, during July 14–18, 2025.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, held in Beijing, China during in March 29-31, 2024.
The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th International Conference on Brain Inspired Cognitive Systems, BICS 2024, held in Hefei, China, during December 6-8, 2024.
Alexander Grothendieck is often considered one of the greatest mathematicians of the twentieth century (if not all time), and his unique vision continues to impact and inspire many fields and researchers today.
Alexander Grothendieck is often considered one of the greatest mathematicians of the twentieth century (if not all time), and his unique vision continues to impact and inspire many fields and researchers today.
This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.
This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.
This book is a collection of essays that offer original logical and philosophical investigations into the century-long endeavor to understand paradoxes.
The main aim of this book is to provide a compact self-contained presentation of the forcing technique devised by Cohen to establish the independence of the continuum hypothesis from the axioms of set theory.
The main aim of this book is to provide a compact self-contained presentation of the forcing technique devised by Cohen to establish the independence of the continuum hypothesis from the axioms of set theory.
This book is a collection of essays that offer original logical and philosophical investigations into the century-long endeavor to understand paradoxes.
Primarily designed for graduate students of mathematics, this textbook delves into Naive set theory, offering valuable insights for senior undergraduate students and researchers specializing in set theory.
Primarily designed for graduate students of mathematics, this textbook delves into Naive set theory, offering valuable insights for senior undergraduate students and researchers specializing in set theory.
This book provides the reader with a comprehensive account of the contributions of Pythagoras to mathematics and philosophy, using them as a starting point to compare pre-Pythagorean accomplishments with the myriad mathematical developments that followed.
Incompleteness is a fascinating phenomenon at the intersection of mathematical foundations, computer science, and epistemology that places a limit on what is provable.
The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th International Conference on Brain Inspired Cognitive Systems, BICS 2024, held in Hefei, China, during December 6-8, 2024.
This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.
This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.
This volume comprises selected contributions by the participants of the second "e;Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods"e; conference, which took place at the University of Almeria, Spain, in July 2022.
This book constitutes the refereed proceedings of the International Conference on Brain Inspired Cognitive Systems, BICS 2023, held in Kuala Lumpur, Malaysia, in August 2023.
Alfredo Ferro's impact on information technology has traversed diverse domains, encompassing Computational Logic, Data Mining, Bioinformatics, and Complex Systems.
