Handbook of Philosophical Logic [recurso electrónico] : Volume 16 / edited by Dov M. Gabbay, Franz Guenthner.
Tipo de material: TextoSeries Handbook of Philosophical Logic ; 16Editor: Dordrecht : Springer Netherlands, 2011Descripción: XIV, 310 p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9789400704794Tema(s): Philosophy (General) | Logic | Philosophy | Logic | Linguistics (general) | PhilosophyFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 160 Clasificación LoC:BC1-199Recursos en línea: Libro electrónico
Contenidos:
En: Springer eBooksResumen: This book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field. Topics include, Belief Revision, Refutation Systems in Propositional Logic, Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
Editorial Preface: Dov M. Gabbay -- Belief Revision: Odinaldo Rodrigues, Dov Gabbay and Alessandra Russo -- Refutation Systems in Propositional Logic: Tomasz Skura -- Quantifier Scope in Formal Linguistics: E. G. Ruys and Yoad Winter -- Non-deterministic Semantics for Logical Systems: Arnon Avron and Anna Zamansky -- Index.
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | BC1 -199 (Browse shelf(Abre debajo)) | 1 | No para préstamo | 378325-2001 |
Editorial Preface: Dov M. Gabbay -- Belief Revision: Odinaldo Rodrigues, Dov Gabbay and Alessandra Russo -- Refutation Systems in Propositional Logic: Tomasz Skura -- Quantifier Scope in Formal Linguistics: E. G. Ruys and Yoad Winter -- Non-deterministic Semantics for Logical Systems: Arnon Avron and Anna Zamansky -- Index.
This book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field. Topics include, Belief Revision, Refutation Systems in Propositional Logic, Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
19