Logic, meaning, and computation : essays in memory of Alonzo Church / edited by C. Anthony Anderson and Michael Zelëny.

Format
Book
Language
English
Published/​Created
Dordrecht ; Boston : Kluwer Academic Publishers, 2001.
Description
xiii, 627 pages : illustrations ; 25 cm.

Availability

Copies in the Library

Location Call Number Status Location Service Notes
Lewis Library - Stacks BC135 .L576 2001 Browse related items Request

    Details

    Subject(s)
    Series
    Synthese library ; v. 305. [More in this series]
    Bibliographic references
    Includes bibliographical references and index.
    Contents
    • Preface / C. A. Anderson and M. Zeleny. Remembering Alonzo Church / D. Kaplan and T. Burge
    • Pt. I. Logic. Logic, truth and number: The elementary genesis of arithmetic / P. Apostoli. Second-order logic / J. Corcoran. A representation of relation algebras using Routley-Meyer frames / J.M. Dunn. Church's set theory with a universal set / Th. Forster. Axioms of infinity in Church's type theory / R. O. Gandy. Logical objects / E. L. Keenan. The lambda calculus and adjoint functors / S. M. Lane. Atomic Boolean algebras and classical propositional logic / G. J. Massey. Improved decision procedures for pure relevant logic / R. K. Meyer. The triumph' of first-order languages / S. Shapiro. Equivalence relations and groups / R. Smullyan
    • Pt. II. Computation. Discriminating coded lambda terms / H. Barendregt. lambda-calculus as a foundation for mathematics / K. Grue. Peano's lambda calculus: The functional abstraction implicit in arithmetic / D. Leivant. The undecidability of lambda-definability / R. Loader. A construction of the provable wellorderings of the theory of species / P. Martin-Lof. Semantics for first and higher order realizability / C. Mclarty. Language and equality theory in logic programming / J. C. Shepherdson
    • Pt. III. Philosophy, Meaning, and Intensional Logic. Alternative (1 ): A criterion of identity for intensional entities / C. A. Anderson. Nominalist paraphrase and ontological commitment / J. P. Burgess. Peace, justice and computation: Leibniz' program and the moral and political significance of Church's theorem / M. Detlefsen. Tarski's theorem and NFU / M. R. Holmes. Church's theorem and randomness / G. Mar. Russellian type theory and semantical paradoxes / E. Martino. The logic of sense and denotation: Extensions and applications / T. Parsons. Analysis, synonymy and sense / M. Richard. The very possibility of language / N. Salmon.
    ISBN
    • 140200141X ((alk. paper))
    • 9781402001413 ((alk. paper))
    LCCN
    2001053844
    OCLC
    48144457
    Statement on language in description
    Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
    Other views
    Staff view

    Supplementary Information