skip to content
Logic, language, and computation Preview this item
ClosePreview this item
Checking...

Logic, language, and computation

Author: Seiki Akama
Publisher: Dordrecht : Kluwer Academic, ©1997.
Series: Applied logic series, 5
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation.

Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Seiki Akama
ISBN: 079234376X 9780792343769
OCLC Number: 856624238
Description: 251 s.
Contents: Preface. 1. Recent Issues in Logic, Language and Computation; S. Akama. 2. Restricted Quantification; M.J. Cresswell. 3. The Epsilon Calculus' Problematic; B.H. Slater. 4. Definite Descriptions and Choice Functions; K. von Heusinger. 5. Spatio-Temporal Structure in Text; N. Asher. 6. DRT and Many-Valued Logics; Y. Nakayama. 7. On Constructive Modality; S. Akama. 8. Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics; H. Wansing. 9. Quantification and Dependence Logics; L. Farinas del Cerro, V. Lugardon. 10. Relevant Conditionals, and Relevant Application Thereof; R. Sylvan. Index.
Series Title: Applied logic series, 5
Responsibility: edited by Seiki Akama.

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/856624238> # Logic, language, and computation
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "856624238" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/56135149#Place/dordrecht> ; # Dordrecht
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/56135149#Thing/symbolisk_logik> ; # Symbolisk logik
   schema:about <http://experiment.worldcat.org/entity/work/data/56135149#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/006.35/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/56135149#Thing/naturligt_sprak> ; # Naturligt språk
   schema:about <http://experiment.worldcat.org/entity/work/data/56135149#Thing/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/56135149#Thing/matematisk_logik> ; # Matematisk logik
   schema:about <http://experiment.worldcat.org/entity/work/data/56135149#Topic/natural_language_processing_computer_science> ; # Natural language processing (Computer science)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/56135149#Person/akama_seiki> ; # Seiki Akama
   schema:copyrightYear "1997" ;
   schema:datePublished "1997" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/56135149> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/56135149#Series/applied_logic_series> ; # Applied logic series ;
   schema:name "Logic, language, and computation" ;
   schema:productID "856624238" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/856624238#PublicationEvent/dordrecht_kluwer_academic_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/56135149#Agent/kluwer_academic> ; # Kluwer Academic
   schema:workExample <http://worldcat.org/isbn/9780792343769> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/856624238> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/56135149#Agent/kluwer_academic> # Kluwer Academic
    a bgn:Agent ;
   schema:name "Kluwer Academic" ;
    .

<http://experiment.worldcat.org/entity/work/data/56135149#Person/akama_seiki> # Seiki Akama
    a schema:Person ;
   schema:familyName "Akama" ;
   schema:givenName "Seiki" ;
   schema:name "Seiki Akama" ;
    .

<http://experiment.worldcat.org/entity/work/data/56135149#Series/applied_logic_series> # Applied logic series ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/856624238> ; # Logic, language, and computation
   schema:name "Applied logic series ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/56135149#Thing/matematisk_logik> # Matematisk logik
    a schema:Thing ;
   schema:name "Matematisk logik" ;
    .

<http://experiment.worldcat.org/entity/work/data/56135149#Thing/naturligt_sprak> # Naturligt språk
    a schema:Thing ;
   schema:name "Naturligt språk" ;
    .

<http://experiment.worldcat.org/entity/work/data/56135149#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical" ;
    .

<http://experiment.worldcat.org/entity/work/data/56135149#Topic/natural_language_processing_computer_science> # Natural language processing (Computer science)
    a schema:Intangible ;
   schema:name "Natural language processing (Computer science)" ;
    .

<http://worldcat.org/isbn/9780792343769>
    a schema:ProductModel ;
   schema:isbn "079234376X" ;
   schema:isbn "9780792343769" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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