Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. This volume covers many areas of contemporary logic: model theory, proof theory, set theory, and computer science, as well as philosophical logic, including tutorials on cardinal arithmetic, on Pillay's conjecture, and on automatic structures. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic.

Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from the 10th meeting held in Kobe, Japan.

Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher.

Logic, Symbolic and mathematical --- Logic, Symbolic and mathematical - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is about 'diamond', a logic of paradox. In diamond, a statement can be true yet false; an 'imaginary' state, midway between being and non-being. Diamond's imaginary values solve many logical paradoxes unsolvable in two-valued boolean logic. In this volume, paradoxes by Russell, Cantor, Berry and Zeno are all resolved. This book has three sections: Paradox Logic, which covers the classic paradoxes of mathematical logic, shows how they can be resolved in this new system; The Second Paradox, which relates diamond to Boolean logic and the Spencer-Brown modulator""; and Metamathematical D

Logic, Symbolic and mathematical. --- Paradox.