Handbook of Philosophical Logic [recurso electrónico] : Volume 16 / edited by Dov M. Gabbay, Franz Guenthner.

Por: Gabbay, Dov M [editor.]Colaborador(es): Guenthner, Franz [editor.] | SpringerLink (Online service)Tipo de material: TextoTextoSeries 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ónicoTexto
Contenidos:
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.
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.
Star ratings
    Valoración media: 0.0 (0 votos)
Existencias
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

Con tecnología Koha