Research Catalog
Logic, language, and computation
- Title
- Logic, language, and computation / edited by Seiki Akama.
- Publication
- Dordrecht ; Boston : Kluwer Academic Publishers, ©1997.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | QA76.9.N38 L63 1997 | Off-site |
Details
- Additional Authors
- Akama, Seiki.
- Description
- 251 pages : illustrations; 25 cm
- Series Statement
- Applied logic series ; v. 5
- Uniform Title
- Applied logic series ; v. 5.
- Subject
- Natural language processing (Computer science)
- Logic, Symbolic and mathematical
- Natural Language Processing
- Datenverarbeitung
- Logik
- Natürliche Sprache
- Computerlinguistik
- Sprachlogik
- Computersimulaties
- Formele semantiek
- Logica
- Langage et logique
- Langage naturel, Traitement du (informatique)
- Logique mathématique
- Bibliography (note)
- Includes bibliographical references and index.
- Contents
- Recent issues in logic, language and computation / S. Akama -- Restricted quantification / M.J. Cresswell -- The epsilon calculus' problematic / B.H. Slater -- Definite descriptions and choice functions / K. Von Heusinger -- Spatio-temporal structure in text / N. Asher -- DRT and many-valued logics / Y. Nakayama -- On constructive modality / S. Akama -- Displaying as temporalizing : sequent systems for subintuitionistic logics / H. Wansing -- Quantification and dependence logics / L. Fariñas del Cerro and V. Lugardon -- Relevant conditionals, and relevant application thereof / R. Sylvan.
- ISBN
- 079234376X
- 9780792343769
- LCCN
- 96052738
- OCLC
- ocm36083683
- 36083683
- SCSB-2126034
- Owning Institutions
- Princeton University Library