Studies in Logic and the Foundations of Mathematics – serie
Visar alla böcker i serien Studies in Logic and the Foundations of Mathematics. Handla med fri frakt och snabb leverans.
22 produkter
Tools and Techniques in Modal Logic
Inbunden, 1999
2105 kr
Lägg i varukorg
This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It …
Computable Structures and the Hyperarithmetical Hierarchy
Inbunden, 2000
1885 kr
Lägg i varukorg
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 isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean …
Classical Recursion Theory, Volume II
Av P. Odifreddi
Inbunden, 1999
1701 kr
Lägg i varukorg
Volume II of Classical Recursion Theory describes the universe from a local (bottom-upor synthetical) point of view, and covers the whole spectrum, from therecursive to the arithmetical sets.The first half of the book provides a detailed picture of the computablesets from the perspective of …
Theory of Relations
Av R. Fraisse
Inbunden, 2000
1919 kr
Lägg i varukorg
Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among chains = total orders = linear orders. One of its first important problems was partially solved by Dushnik, Miller 1940 who, starting from the chain …
Rudiments of Calculus
Av A. Arnold, D. Niwinski
Inbunden, 2001
1390 kr
Lägg i varukorg
This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. Therefore, our emphasis is on the generality of the …
Many-Dimensional Modal Logics: Theory and Applications
Av A. Kurucz, F. Wolter m. fl.
Inbunden, 2003
2435 kr
Lägg i varukorg
Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms …
Categorical Logic and Type Theory
Av B. Jacobs
Häftad, 2001
1830 kr
Lägg i varukorg
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 audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
Relation Algebras by Games
Av Robin Hirsch, Ian Hodkinson
Inbunden, 2002
2243 kr
Lägg i varukorg
Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of …
Realizability
An Introduction to its Categorical Side
Inbunden, 2008
1752 kr
Lägg i varukorg
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 of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been …
Quantification in Nonclassical Logic
Av Dov M. Gabbay, Dimitrij Skvortsov m. fl.
Inbunden, 2009
2227 kr
Lägg i varukorg
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 traditional informalmethods until the 20th century. In the last century the tools becamehighly mathematical, and both …
Relation Algebras
Inbunden, 2006
2765 kr
Lägg i varukorg
The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science---databases, specification theory, AI---and in …
Lectures on the Curry-Howard Isomorphism
Av Morten Heine S�rensen, Pawel Urzyczyn
Inbunden, 2006
1611 kr
Lägg i varukorg
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 instance,minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to …
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Av Nikolaos Galatos, Peter Jipsen m. fl.
Inbunden, 2007
2105 kr
Lägg i varukorg
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 substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to …
Constructivism in Mathematics, Vol 1
Av A.S. Troelstra, D. van Dalen
Inbunden, 1988
724 kr
Lägg i varukorg
These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational …
Constructivism in Mathematics, Vol 2
Av A.S. Troelstra, D. van Dalen
Inbunden, 1988
822 kr
Lägg i varukorg
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, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric …
Logical Frameworks for Truth and Abstraction
An Axiomatic Study
Av A. Cantini
Inbunden, 1996
1903 kr
Lägg i varukorg
This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential . These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is …
Set Theory An Introduction To Independence Proofs
Av K. Kunen
Inbunden, 1983
649 kr
Lägg i varukorg
Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. The book first tackles the foundations of set theory …
Language in Action
Categories, Lambdas and Dynamic Logic
Inbunden, 1991
1393 kr
Lägg i varukorg
This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic …
Classical Recursion Theory
The Theory of Functions and Sets of Natural Numbers
Av P. Odifreddi
Häftad, 1992
1261 kr
Lägg i varukorg
1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles. Among the subjects covered are: various equivalent …
Admissibility of Logical Inference Rules
Av V.V. Rybakov
Inbunden, 1997
2031 kr
Lägg i varukorg
The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: . admissible or permissible inference rules . the derivability of the admissible inference rules . the structural completeness of logics . …
Handbook of Proof Theory
Av Samuel R. Buss, S. R. Buss m. fl.
Inbunden, 1998
1739 kr
Lägg i varukorg
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 proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer …
Handbook of Computability Theory
Av E. R. Griffot, Edward R. Griffor m. fl.
Inbunden, 1999
2490 kr
Lägg i varukorg
The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while …
