Sinossi
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)
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse 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.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Logic, Language and Reasoning: Essays in Honour of...
Foto dell'editore
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay (Trends in Logic)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780792356875_new
Compra nuovo
EUR 89,33
Spese di spedizione:
EUR 13,65
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic, Language and Reasoning : Essays in Honour of Dov Gabbay
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 45182973
Compra usato
EUR 102,40
Spese di spedizione:
EUR 2,26
In U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic, Language and Reasoning : Essays in Honour of Dov Gabbay
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 45182973-n
Compra nuovo
EUR 102,81
Spese di spedizione:
EUR 2,26
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay (Trends in Logic)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9780792356875
Compra nuovo
EUR 105,16
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers in the area of logic, language and reasoning. He has exerted a profound influence in the major fields of logic, linguistics and computer science. Most of the chapters included, therefore, build on his work and present results or summarize areas where Dov has made major contributions. In particular his work on Labelled Deductive Systems is addressed in most of the contributions. The chapters on computational linguistics address logical and deductive aspects of linguistic problems. The papers by van Benthem Lambek and Moortgat investigate categorial considerations and the use of labels within the `parsing as deduction' approach. Analyses of particular linguistic problems are given in the remaining papers by Kamp, Kempson, Moravcsik, König and Reyle. They address the logic of generalized quantifiers, the treatment of cross-over phenomena and temporal/aspectual interpretation as well as applicability of underspecified deduction in linguistic formalisms. The more logic-oriented chapters address philosophical and proof-theoretic problems and give algorithmic solutions for most of them. The spectrum ranges from K. Segerberg's contribution which brings together the two traditions of epistemic and doxastic logics of belief, to M. Finger and M. Reynold's chapter on two-dimensional executable logics with applications to temporal databases. The book demonstrates that a relatively small number of basic techniques and ideas, in particular the idea of labelled deductive systems, can be successfully applied in many different areas. 444 pp. Englisch. Codice articolo 9780792356875
Compra nuovo
EUR 85,55
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Logic, Language and Reasoning : Essays in Honour of Dov Gabbay
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 45182973-n
Compra nuovo
EUR 101,52
Spese di spedizione:
EUR 17,09
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic, Language and Reasoning : Essays in Honour of Dov Gabbay
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 45182973
Compra usato
EUR 102,99
Spese di spedizione:
EUR 17,09
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 863. Codice articolo C9780792356875
Compra nuovo
EUR 107,65
Spese di spedizione:
EUR 22,08
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic, Language and Reasoning
Editore:
Kluwer Academic Publishers, US, 1999
ISBN 10: 079235687X
ISBN 13: 9780792356875
Nuovo
Rilegato
Da: Rarewaves USA, OSWEGO, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers in the area of logic, language and reasoning. He has exerted a profound influence in the major fields of logic, linguistics and computer science. Most of the chapters included, therefore, build on his work and present results or summarize areas where Dov has made major contributions. In particular his work on Labelled Deductive Systems is addressed in most of the contributions. The chapters on computational linguistics address logical and deductive aspects of linguistic problems. The papers by van Benthem Lambek and Moortgat investigate categorial considerations and the use of labels within the "parsing as deduction" approach. Analyses of particular linguistic problems are given in the remaining papers by Kamp, Kempson, Moravcsik, Konig and Reyle. They address the logic of generalized quantifiers, the treatment of cross-over phenomena and temporal/aspectual interpretation, as well as applicability of underspecified deduction in linguistic formalisms. The more logic-oriented chapters address philosophical and proof-theoretic problems and give algorithmic solutions for most of them.The spectrum ranges from K. Segerberg's contribution which brings together the two traditions of epistemic and doxastic logics of belief, to M. Finger and M. Reynold's chapter on two-dimensional executable logics with applications to temporal databases. The book demonstrates that a relatively small number of basic techniques and ideas, in particular the idea of labelled deductive systems, can be successfully applied in many different areas. Codice articolo LU-9780792356875
Compra nuovo
EUR 131,64
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic, Language and Reasoning
Editore:
Kluwer Academic Publishers, US, 1999
ISBN 10: 079235687X
ISBN 13: 9780792356875
Nuovo
Rilegato
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers in the area of logic, language and reasoning. He has exerted a profound influence in the major fields of logic, linguistics and computer science. Most of the chapters included, therefore, build on his work and present results or summarize areas where Dov has made major contributions. In particular his work on Labelled Deductive Systems is addressed in most of the contributions. The chapters on computational linguistics address logical and deductive aspects of linguistic problems. The papers by van Benthem Lambek and Moortgat investigate categorial considerations and the use of labels within the "parsing as deduction" approach. Analyses of particular linguistic problems are given in the remaining papers by Kamp, Kempson, Moravcsik, Konig and Reyle. They address the logic of generalized quantifiers, the treatment of cross-over phenomena and temporal/aspectual interpretation, as well as applicability of underspecified deduction in linguistic formalisms. The more logic-oriented chapters address philosophical and proof-theoretic problems and give algorithmic solutions for most of them.The spectrum ranges from K. Segerberg's contribution which brings together the two traditions of epistemic and doxastic logics of belief, to M. Finger and M. Reynold's chapter on two-dimensional executable logics with applications to temporal databases. The book demonstrates that a relatively small number of basic techniques and ideas, in particular the idea of labelled deductive systems, can be successfully applied in many different areas. Codice articolo LU-9780792356875
Compra nuovo
EUR 138,50
Spese di spedizione:
GRATIS
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili