Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory. Here it is shown that these notions, in particular the notion of adjunction, can be formulated in such as way as to be characterised by composition elimination. Among the benefits of these composition-free formulations are syntactical and simple model-theoretical, geometrical decision procedures for the commuting of diagrams of...
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theo...
The history of triangular norms started with the paper "Statistical metrics" Menger 1942]. The main idea of Karl Menger was to construct metric spaces where probability distributions rather than numbers are used in order to de scribe the distance between two elements of the space in question. Triangular norms (t-norms for short) naturally came into the picture in the course of the generalization of the classical triangle inequality to this more general set ting. The original set of axioms for t-norms was considerably weaker, including among others also the functions which are known today as...
The history of triangular norms started with the paper "Statistical metrics" Menger 1942]. The main idea of Karl Menger was to construct metric space...
This is this, this ain't something else, this is this -Robert De Niro, Deerhunter his book may to some extent be viewed as the continuation of my T Doctoral thesis Epistemology, Methodology and Reliability. The dissertation was, first of all, a methodological study of the reliable performance of the AGM-axioms (Alchourr6n, Gardenfors and Makin son) of belief revision. Second of all the dissertation included the first steps toward an epistemology for the limiting convergence of knowledge for scientific inquiry methods of both discovery and assessment. The idea of methodological reliability as...
This is this, this ain't something else, this is this -Robert De Niro, Deerhunter his book may to some extent be viewed as the continuation of my T Do...
Substructural logics are by now one of the most prominent branches of the research field usually labelled as "nonclassical logics" - and perhaps of logic tout court. Over the last few decades a vast amount of research papers and even some books have been devoted to this subject. The aim of the present book is to give a comprehensive account of the "state of the art" of substructural logics, focusing both on their proof theory (especially on sequent calculi and their generalizations) and on their semantics (both algebraic and relational). Readership: This textbook is...
Substructural logics are by now one of the most prominent branches of the research field usually labelled as "nonclassical logics" - and perhaps of lo...
This book is an example of fruitful interaction between (non-classical) propo sitionallogics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of model completions for equational theories arising from propositional logics (such as the theory of Heyting algebras and various kinds of theories related to proposi tional modal logic ). The existence of model-completions turns out to be related to proof-theoretic facts concerning interpretability of second order propositional logic into ordinary propositional logic...
This book is an example of fruitful interaction between (non-classical) propo sitionallogics and (classical) model theory which was made possible due ...
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades.
The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of...
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguist...
"Is quantum logic really logic?" This book argues for a positive answer to this question once and for all. There are many quantum logics and their structures are delightfully varied. The most radical aspect of quantum reasoning is reflected in unsharp quantum logics, a special heterodox branch of fuzzy thinking. For the first time, the whole story of Quantum Logic is told; from its beginnings to the most recent logical investigations of various types of quantum phenomena, including quantum computation. Reasoning in Quantum Theory is designed for logicians, yet amenable to...
"Is quantum logic really logic?" This book argues for a positive answer to this question once and for all. There are many quantum logics and their str...
The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some of the new paradigms of computation, among them Quantum Computing and Infinitary Computation. The papers in the volume are tied together by an introductory article describing abstract properties of complexity hierarchies.
This volume will be of...
The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach co...
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods from the point of view of proof rewriting. Within this general framework, generalizations of Gentzen's and Sch utte-Tait's cut-elimination methods are defined and shown terminating with ACNFs of the original proof....
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence o...
'A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost.
...
'A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focu...