Conditionals and Modularity in General Logics [recurso electrónico] / by Dov M. Gabbay, Karl Schlechta.
Tipo de material: TextoSeries Cognitive TechnologiesEditor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Descripción: IX, 233 p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642190681Tema(s): Computer science | Logic | Artificial intelligence | Logic, Symbolic and mathematical | Computer Science | Mathematical Logic and Formal Languages | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Foundations | LogicFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 005.131 Clasificación LoC:QA8.9-QA10.3Recursos en línea: Libro electrónico En: Springer eBooksResumen: This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation. The book will be of value to researchers and graduate students in logic and theoretical computer science.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 | QA8.9 -QA10.3 (Browse shelf(Abre debajo)) | 1 | No para préstamo | 375757-2001 |
Navegando Biblioteca Electrónica Estantes, Código de colección: Colección de Libros Electrónicos Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA8.9 -QA10.3 Logical Analysis of Hybrid Systems | QA8.9 -QA10.3 Logic and the Foundations of Game and Decision Theory – LOFT 8 | QA8.9 -QA10.3 Vagueness in Communication | QA8.9 -QA10.3 Conditionals and Modularity in General Logics | QA8.9 -QA10.3 Foundations of Software Science and Computational Structures | QA8.9 -QA10.3 Logic, Language, Information and Computation | QA8.9 -QA10.3 Relational and Algebraic Methods in Computer Science |
This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation. The book will be of value to researchers and graduate students in logic and theoretical computer science.
19