Skip to main content Accessibility help
×
  1. Home
  2. Browse subjects
  3. Philosophy
  4. Logic
  5. Content listing

Refine search

Refine search

Access:
Content type:
Publication date:
Apply   From and To filters
Subject: Show more
Journals Show more
Publishers: Show more
Societies Show more
Series: Show more
Collections: Show more

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

4138 results in Logic

Page 36 of 207

Logic Colloquium '98
  • Edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák
  • Published online:
    31 March 2017
    Print publication:
    02 March 2000
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the thirteenth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association for Symbolic Logic held at the University of Economics in Prague, August 9–15, 1988. It includes surveys and research from preeminent logicians. The papers in this volume range over all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy. This book will be of interest to all students and researchers in mathematical logic.

Logic Colloquium '02
  • Edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers
  • Published online:
    31 March 2017
    Print publication:
    02 March 2006
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-seventh publication in the Lecture Notes in Logic series, contains the proceedings of two conferences: the European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany in August, 2002. This compilation of articles from some of the world's preeminent logicians spans all areas of mathematical logic, including philosophical logic and computer science logic. It contains expanded versions of a number of invited plenary talks and tutorials that will be of interest to graduate students and researchers in the field of mathematical logic.

Reverse Mathematics 2001
  • Edited by Stephen G. Simpson
  • Published online:
    31 March 2017
    Print publication:
    02 March 2005
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. Reverse mathematics is a program of research in the foundations of mathematics, motivated by two foundational questions: 'what are appropriate axioms for mathematics?' and 'what are the logical strengths of particular axioms and particular theorems?' This volume, the twenty-first publication in the Lecture Notes in Logic series, contains twenty-four original research papers from respected authors that present exciting new developments in reverse mathematics and subsystems of second order arithmetic since 1998.

Nonstandard Methods and Applications in Mathematics
  • Edited by Nigel J. Cutland, Mauro Di Nasso, David A. Ross
  • Published online:
    30 March 2017
    Print publication:
    02 March 2006
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-fifth publication in the Lecture Notes in Logic series, grew from a conference on Nonstandard Methods and Applications in Mathematics held in Pisa, Italy from 12–16 June, 2002. It contains ten peer-reviewed papers that aim to provide something more timely than a textbook, but less ephemeral than a conventional proceedings. Nonstandard analysis is one of the great achievements of modern applied mathematical logic. These articles consider the foundations of the subject, as well as its applications to pure and applied mathematics and mathematics education.

Logic in Tehran
  • Edited by Ali Enayat, Iraj Kalantari, Mojtaba Moniri
  • Published online:
    30 March 2017
    Print publication:
    02 March 2006
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-sixth publication in the Lecture Notes in Logic series, contains the proceedings of the 'Workshop and Conference on Logic, Algebra and Arithmetic' held at the Institute for Studies in Theoretical Physics and Mathematics (IPM) in Tehran, Iran in October, 2003. These papers are mostly revised and expanded versions of those that were originally presented at the meeting and address all areas of mathematical logic. The book also includes a short history of mathematical logic in Iran.

Logic Colloquium '99
  • Edited by Jan Van Eijck, Vincent Van Oostrom, Albert Visser
  • Published online:
    30 March 2017
    Print publication:
    02 March 2004
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the seventeenth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, The Netherlands in August, 1999. It includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in geometric model theory and the descriptive set theory of group actions. The other articles cover current research topics in all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy.

Logic Colloquium '03
  • Edited by Viggo Stoltenberg-Hansen, Jouko Väänänen
  • Published online:
    30 March 2017
    Print publication:
    02 March 2006
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-fourth publication in the Lecture Notes in Logic series, contains the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, in August 2003. These articles include an extended tutorial on generalizing finite model theory, as well as seventeen original research articles spanning all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy.

Logicism Renewed
  • Logical Foundations for Mathematics and Computer Science
  • Paul C. Gilmore
  • Published online:
    30 March 2017
    Print publication:
    02 March 2005
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In this volume, the twenty-third publication in the Lecture Notes in Logic series, Paul C. Gilmore revisits logicism in light of recent advances in mathematical logic and theoretical computer science. Gilmore addresses the need for languages which can be understood by both humans and computers and, using Intensional Type Theory (ITT), provides a unified basis for mathematics and computer science. This yields much simpler foundations for recursion theory and the semantics of computer programs than those currently provided by category theory.

Intensionality
  • Edited by Reinhard Kähle
  • Published online:
    30 March 2017
    Print publication:
    02 March 2005
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-second publication in the Lecture Notes in Logic series, will launch a discussion about the concept of intensionality in philosophy, logic, linguistics and mathematics. These articles grew out of a workshop held at the University of Munich in October, 2000. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume highlights the particular interdisciplinary nature of intensionality with articles spanning philosophy, linguistics, mathematics and computer science.

The Notre Dame Lectures
  • Edited by Peter Cholak
  • Published online:
    30 March 2017
    Print publication:
    02 March 2005
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In the fall of 2000, the logic community at the University of Notre Dame, Indiana hosted Greg Hjorth, Rodney G. Downey, Zoé Chatzidakis and Paola D'Aquino as visiting lecturers. Each of them presented a month-long series of expository lectures at the graduate level. This volume, the eighteenth publication in the Lecture Notes in Logic series, contains refined and expanded versions of those lectures. The four articles are entitled 'Countable models and the theory of Borel equivalence relations', 'Model theory of difference fields', 'Some computability-theoretic aspects of reals and randomness' and 'Weak fragments of Peano arithmetic'.

Inexhaustibility
  • A Non-Exhaustive Treatment
  • Torkel Franzén
  • Published online:
    30 March 2017
    Print publication:
    02 March 2004
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixteenth publication in the Lecture Notes in Logic series, gives a sustained presentation of a particular view of the topic of Gödelian extensions of theories. It presents the basic material in predicate logic, set theory and recursion theory, leading to a proof of Gödel's incompleteness theorems. The inexhaustibility of mathematics is treated based on the concept of transfinite progressions of theories as conceived by Turing and Feferman. All concepts and results are introduced as needed, making the presentation self-contained and thorough. Philosophers, mathematicians and others will find the book helpful in acquiring a basic grasp of the philosophical and logical results and issues.

Logic Colloquium '95
  • Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995
  • Edited by Johann A. Makowsky, Elena V. Ravve
  • Published online:
    24 March 2017
    Print publication:
    02 March 2017
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eleventh publication in the Lecture Notes in Logic series, collects the proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in 1995. It includes papers in the core areas of set theory, model theory, proof theory and recursion theory, as well as the more recent topics of finite model theory and non-monotonic logic. It also includes a tutorial on interactive proofs, zero-knowledge and computationally sound proofs that reported on recent developments in theoretical computer science, and three plenary lectures dedicated to the foundational and technical evolution of set theory over the past 100 years.

The Core Model Iterability Problem
  • John R. Steel
  • Published online:
    24 March 2017
    Print publication:
    02 March 2017
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. Large cardinal hypotheses play a central role in modern set theory. One important way to understand such hypotheses is to construct concrete, minimal universes, or 'core models', satisfying them. Since Gödel's pioneering work on the universe of constructible sets, several larger core models satisfying stronger hypotheses have been constructed, and these have proved quite useful. In this volume, the eighth publication in the Lecture Notes in Logic series, Steel extends this theory so that it can produce core models having Woodin cardinals, a large cardinal hypothesis that is the focus of much current research. The book is intended for advanced graduate students and researchers in set theory.

Aspects of Incompleteness
  • Per Lindström
  • Published online:
    24 March 2017
    Print publication:
    02 March 2017
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth publication in the Lecture Notes in Logic series, Per Lindström presents some of the main topics and results in general metamathematics. In addition to standard results of Gödel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, this book contains a thorough treatment of partial conservativity and degrees of interpretability. It comes complete with exercises, and will be useful as a textbook for graduate students with a background in logic, as well as a valuable resource for researchers.

Logic Colloquium '96
  • Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996
  • Edited by J. M. Larrazabal, D. Lascar, G. Mints
  • Published online:
    24 March 2017
    Print publication:
    02 March 2017
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twelfth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association of Symbolic Logic, held at the University of the Basque Country, San Sebastian in July 1996. The main topics were model theory, proof theory, recursion and complexity theory, models of arithmetic, logic for artificial intelligence, formal semantics of natural language, and philosophy of contemporary logic. The volume includes eleven papers from pre-eminent researchers in mathematical logic.

Model Theory of Fields
  • David Marker, Margit Messmer, Anand Pillay
  • Published online:
    24 March 2017
    Print publication:
    02 March 2017
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the fifth publication in the Lecture Notes in Logic series, the authors give an insightful introduction to the fascinating subject of the model theory of fields, concentrating on its connections to stability theory. In the first two chapters David Marker gives an overview of the model theory of algebraically closed, real closed and differential fields. In the third chapter Anand Pillay gives a proof that there are 2א non-isomorphic countable differential closed fields. Finally, Margit Messmer gives a survey of the model theory of separably closed fields of characteristic p > 0.

Bounded Variable Logics and Counting
  • A Study in Finite Models
  • Martin Otto
  • Published online:
    24 March 2017
    Print publication:
    02 March 2017
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.

A General Algebraic Semantics for Sentential Logics
  • 2nd edition
  • Josep Maria Font, Ramon Jansana
  • Published online:
    23 March 2017
    Print publication:
    02 March 2017
  • Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of sentential logics and present its results on a number of particular logics. The authors compare their approach, which uses abstract logics, to the classical approach based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. This monograph presents a systematized account of some of the work on the algebraic study of sentential logics carried out by the logic group in Barcelona in the 1970s.

Page 36 of 207