Sökt på: Sökresultat
totalt 10 träffar
Categorical Logic and Type Theory
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended …
Quantification in Nonclassical Logic
Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy andlanguage in ancient times; they were studied by …
Relation Algebras
The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical …
Constructivism in Mathematics, Vol 1
These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive …
Constructivism in Mathematics, Vol 2
Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, …
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to …
Lectures on the Curry-Howard Isomorphism
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For …
Computable Structures and the Hyperarithmetical Hierarchy
This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under …
Handbook of Proof Theory
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of …
Realizability
Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases …