Cargando…
Conditionals and Modularity in General Logics
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 betwe...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2011.
|
| Edición: | 1st ed. 2011. |
| Colección: | Cognitive Technologies,
|
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-19068-1 | ||
| 003 | DE-He213 | ||
| 005 | 20220120160328.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 110817s2011 gw | s |||| 0|eng d | ||
| 020 | |a 9783642190681 |9 978-3-642-19068-1 | ||
| 024 | 7 | |a 10.1007/978-3-642-19068-1 |2 doi | |
| 050 | 4 | |a QA267-268.5 | |
| 072 | 7 | |a UYA |2 bicssc | |
| 072 | 7 | |a MAT018000 |2 bisacsh | |
| 072 | 7 | |a UYA |2 thema | |
| 082 | 0 | 4 | |a 005.131 |2 23 |
| 100 | 1 | |a Gabbay, Dov M. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 245 | 1 | 0 | |a Conditionals and Modularity in General Logics |h [electronic resource] / |c by Dov M. Gabbay, Karl Schlechta. |
| 250 | |a 1st ed. 2011. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2011. | |
| 300 | |a IX, 233 p. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Cognitive Technologies, |x 2197-6635 | |
| 520 | |a 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. | ||
| 650 | 0 | |a Machine theory. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Mathematical logic. | |
| 650 | 0 | |a Logic. | |
| 650 | 1 | 4 | |a Formal Languages and Automata Theory. |
| 650 | 2 | 4 | |a Artificial Intelligence. |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |
| 650 | 2 | 4 | |a Logic. |
| 700 | 1 | |a Schlechta, Karl. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642190674 |
| 776 | 0 | 8 | |i Printed edition: |z 9783642270659 |
| 776 | 0 | 8 | |i Printed edition: |z 9783642190698 |
| 830 | 0 | |a Cognitive Technologies, |x 2197-6635 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-642-19068-1 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||