skip to content
Logic, Meaning and Computation : Essays in Memory of Alonzo Church Preview this item
ClosePreview this item
Checking...

Logic, Meaning and Computation : Essays in Memory of Alonzo Church

Author: C Anthony Anderson; Michael Zelëny
Publisher: Dordrecht : Springer Netherlands, 2001.
Series: Synthese library, 305.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: C Anthony Anderson; Michael Zelëny
ISBN: 9789401005265 9401005265
OCLC Number: 851387431
Description: 1 online resource (xiii, 627 pages).
Contents: Preface; C.A. Anderson, M. Zeleny. Remembering Alonzo Church; D. Kaplan, T. Burge. Part 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. Pa
Series Title: Synthese library, 305.
Responsibility: edited by C. Anthony Anderson, Michael Zelëny.

Abstract:

This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/851387431> # Logic, Meaning and Computation : Essays in Memory of Alonzo Church
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "851387431" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/805683673#Place/dordrecht> ; # Dordrecht
   schema:about <http://id.loc.gov/authorities/classification/BC1-199> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh2008106988> ; # Linguistics--Philosophy
   schema:about <http://experiment.worldcat.org/entity/work/data/805683673#Topic/philosophy_general> ; # Philosophy (General)
   schema:about <http://dewey.info/class/160/e23/> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.loc.gov/authorities/subjects/sh85078106> ; # Logic
   schema:about <http://id.loc.gov/authorities/subjects/sh85078115> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
   schema:about <http://id.worldcat.org/fast/999220> ; # Linguistics--Philosophy
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/39621495> ; # Michael Zelëny
   schema:creator <http://experiment.worldcat.org/entity/work/data/805683673#Person/anderson_c_anthony> ; # C Anthony Anderson
   schema:datePublished "2001" ;
   schema:description "This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/805683673> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/805683673#Series/synthese_library> ; # Synthese library ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/805683673#Series/synthese_library_studies_in_epistemology_logic_methodology_and_philosophy_of_science> ; # Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/805683673#CreativeWork/> ;
   schema:name "Logic, Meaning and Computation : Essays in Memory of Alonzo Church"@en ;
   schema:productID "851387431" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/851387431#PublicationEvent/dordrecht_springer_netherlands_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/805683673#Agent/springer_netherlands> ; # Springer Netherlands
   schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3070717> ;
   schema:url <http://link.springer.com/10.1007/978-94-010-0526-5> ;
   schema:url <http://dx.doi.org/10.1007/978-94-010-0526-5> ;
   schema:workExample <http://worldcat.org/isbn/9789401005265> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/851387431> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/805683673#Agent/springer_netherlands> # Springer Netherlands
    a bgn:Agent ;
   schema:name "Springer Netherlands" ;
    .

<http://experiment.worldcat.org/entity/work/data/805683673#Person/anderson_c_anthony> # C Anthony Anderson
    a schema:Person ;
   schema:familyName "Anderson" ;
   schema:givenName "C. Anthony" ;
   schema:name "C Anthony Anderson" ;
    .

<http://experiment.worldcat.org/entity/work/data/805683673#Series/synthese_library> # Synthese library ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/851387431> ; # Logic, Meaning and Computation : Essays in Memory of Alonzo Church
   schema:name "Synthese library ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/805683673#Series/synthese_library_studies_in_epistemology_logic_methodology_and_philosophy_of_science> # Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/851387431> ; # Logic, Meaning and Computation : Essays in Memory of Alonzo Church
   schema:name "Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/805683673#Topic/philosophy_general> # Philosophy (General)
    a schema:Intangible ;
   schema:name "Philosophy (General)"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh2008106988> # Linguistics--Philosophy
    a schema:Intangible ;
   schema:name "Linguistics--Philosophy"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85078115> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1002014> # Logic
    a schema:Intangible ;
   schema:name "Logic"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/999220> # Linguistics--Philosophy
    a schema:Intangible ;
   schema:hasPart <http://id.loc.gov/authorities/subjects/sh2008106988> ; # Linguistics--Philosophy
   schema:name "Linguistics--Philosophy"@en ;
    .

<http://link.springer.com/10.1007/978-94-010-0526-5>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/39621495> # Michael Zelëny
    a schema:Person ;
   schema:familyName "Zelëny" ;
   schema:givenName "Michael" ;
   schema:name "Michael Zelëny" ;
    .

<http://worldcat.org/entity/work/data/805683673#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/851387431> ; # Logic, Meaning and Computation : Essays in Memory of Alonzo Church
    .

<http://worldcat.org/isbn/9789401005265>
    a schema:ProductModel ;
   schema:isbn "9401005265" ;
   schema:isbn "9789401005265" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.