Logic, Language and Reasoning : Essays in Honour of Dov Gabbay. Questo articolo non è disponibile.
Lingua: inglese
Editore: Kluwer Academic Pub, 1999
- Rilegato
- Usato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Venditore con 5 stelle
Venditore AbeBooks dal 6 aprile 2009
Non disponibile
Rilegato
Condizione: Usato - Come nuovo
EUR 105,57
Descrizione dell’articolo da parte del venditore
Unread book in perfect condition.
Codice articolo 45182973
- Titolo
- Logic, Language and Reasoning : Essays in Honour of Dov Gabbay
- Autore
- Ohlbach, Hans Jurgen (EDT); Reyle, U. (EDT)
- Editore
- Kluwer Academic Pub
- Anno di pubblicazione
- 1999
- Condizione
- As New
- Rilegatura
- Rilegato
- Lingua
- inglese
- ISBN 10
- 079235687X
- ISBN 13
- 9780792356875
An interview with Gabbay, a researcher in logic, language, and computer science, begins the collection. The next nearly 20 pages are filled with a partial and partially annotated primary bibliography. Then follow 14 essays on topics relating to his work. They include proofs, labels, and dynamics in natural language; diagrammatic reasoning in projective geometry; bringing together two traditions in the logic of belief; the elimination of predicate quantifiers; labelling natural deductions; a general reasoning scheme for underspecified representations; a case study of a procedural model of natural-language interpretation crossover; labelled deduction in the composition of form and meaning; and formalisms for non-formal languages. Annotation c. Book News, Inc., Portland, OR (booknews.com)
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Contenuti
Preface. `I am a logic'; D. Gabbay. Research Themes of Dov Gabbay. Proofs, Labels and Dynamics in Natural Language; J. van Benthem. What a Linguist Might Want From a Logic of MOST and Other Generalized Quantifiers; H. Kamp. Imperative History: Two-dimensional Executable Temporal Logic; M. Finger, M. Reynolds. Diagrammatic Reasoning in Projective Geometry; P. Balbiani, L.F. del Cerro. On Sentences of the Kind `Sentence `p' is About Topic t'; R. Demolombe, A.J.I. Jones. Two Traditions in the Logic of Belief: Bringing them Together; K. Segerberg. Elimination of Predicate Quantifiers; A. Nonnengart, et al. Labelled Natural Deduction; R.J.G.B. de Queiroz, D.M. Gabby. A General Reasoning Scheme for Underspecified Representations; E. König, U. Reyle. Deductive Systems and Categories in Linguistics; J. Lambek. Towards a Procedural Model of Natural-language Interpretation Crossover: A Case Study; R. Kempson. Transformation Methods in LDS; K. Broda, et al. Labelled Deduction in the Composition of Form and Meaning; M. Moortgat. Formalisms for Non-formal Languages; J.M. Moravcsik. Names Index. Index.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.