J. Michael Dunn on information based logics
This book celebrates and expands on J. Michael Dunn's work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced a semantics for first-degree entailments utilizing the idea that a sentence can provide positive or negative information about a topic, possibly sup...
Guardado en:
| Otros Autores: | , |
|---|---|
| Formato: | Libro electrónico |
| Lenguaje: | Inglés |
| Publicado: |
[Cham], Switzerland :
Springer International,
c2016.
|
| Colección: | Outstanding contributions to logic ;
8. |
| Materias: | |
| Acceso en línea: | Solo para usuarios autorizados |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 05223cam a2200517Ia 4500 | ||
|---|---|---|---|
| 001 | 990000681640204151 | ||
| 005 | 20241121115322.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 160405s2016 sz ob 001 0 eng d | ||
| 019 | |a 946263700 | ||
| 020 | |a 9783319293004 |q (electronic bk.) | ||
| 020 | |a 3319293001 |q (electronic bk.) | ||
| 020 | |a 9783319292984 |q (print) | ||
| 020 | |a 3319292986 |q (print) | ||
| 035 | |a (OCoLC)000068164 | ||
| 035 | |a (udesa)000068164USA01 | ||
| 035 | |a (OCoLC)945975273 |z (OCoLC)946263700 | ||
| 035 | |a (OCoLC)990000681640204151 | ||
| 040 | |a N$T |c N$T |d IDEBK |d YDXCP |d N$T |d COO |d EBLCP |d OCLCQ |d U@S | ||
| 049 | |a U@SA | ||
| 050 | 4 | |a BC71 |b .J5 2016eb | |
| 082 | 0 | 4 | |a 160 |2 23 |
| 099 | |a Recurso electrónico en INTERNET | ||
| 245 | 0 | 0 | |a J. Michael Dunn on information based logics |h [recurso electrónico] / |c Katalin Bimbó, editor. |
| 260 | |a [Cham], Switzerland : |b Springer International, |c c2016. | ||
| 300 | |a 1 recurso en línea (xliii, 436 p.). | ||
| 490 | 1 | |a Outstanding contributions to logic ; |v vol. 8 | |
| 516 | |a Libro electrónico. | ||
| 500 | |a Título tomado de la pantalla de presentación (visto 22 de agosto de 2017) | ||
| 538 | |a Modo de acceso: a través de Internet. | ||
| 504 | |a Incluye referencias bibliográficas e índice. | ||
| 505 | 0 | |a An engineer in philosopher's clothing / J. Michael Dunn -- J. Michael Dunn's publications -- Introduction: From information at large to semantics of logics / Katalin Bimbó -- RM and its nice properties / Arnon Avron -- Wedge sum, merge and inconsistency / Chris Mortensen -- Single axioms and axiom-pairs for the implicational fragments of R, R-Mingle, and some related systems / Dolph Ulrich -- LC and its pretabular relatives / Larisa Maksimova -- The story of "γ" [gamma] / Alasdair Urquhart -- Manipulating sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic / Edwin Mares -- Epistemic Relevance and Epistemic Actions / Sebastian Sequoiah-Grayson -- Comparing Contents with Information / Ross T. Brady -- On Split Negation, Strong Negation, Information, Falsification, and Verification / Heinrich Wansing -- Truth, Falsehood, Information and Beyond: The American Plan Generalized / Yaroslav Shramko -- Logical Foundations of Evidential Reasoning with Contradictory Information / Chunlai Zhou -- Probabilistic Interpretations of Predicates / Janusz Czelakowski -- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: the case of Negation and Modal Operators / Chrysafis Hartonas -- Mereocompactness and Duality for Mereotopological Spaces / Robert Goldblatt and Matt Grice -- Distributed Modal Logic / Gerard Allwein and William L. Harrison -- Tracking Information / Johan van Benthem -- Syllogistic Logic with Cardinality Comparisons / Lawrence S. Moss -- A "Reply" to my "critics" / J. Michael Dunn. | |
| 520 | |a This book celebrates and expands on J. Michael Dunn's work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced a semantics for first-degree entailments utilizing the idea that a sentence can provide positive or negative information about a topic, possibly supplying both or neither. He later published a related interpretation of the logic R-mingle, which turned out to be one of the first relational semantics for a relevance logic. An incompatibility relation between information states lends itself to a definition of negation and it has figured into Dunn's comprehensive investigations into representations of various negations. The informational view of semantics is also a prominent theme in Dunn's research on other logics, such as quantum logic and linear logic, and led to the encompassing theory of generalized Galois logics (or "gaggles"). Dunn's latest work addresses informational interpretations of the ternary accessibility relation and the very nature of information. The book opens with Dunn's autobiography, followed by a list of his publications. It then presents a series of papers written by respected logicians working on different aspects of information-based logics. The topics covered include the logic R-mingle, which was introduced by Dunn, and its applications in mathematical reasoning as well as its importance in obtaining results for other relevance logics. There are also interpretations of the accessibility relation in the semantics of relevance and other non-classical logics using different notions of information. It also presents a collection of papers that develop semantics for various logics, including certain modal and many-valued logics. | ||
| 650 | 0 | |a Logic. | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 7 | |a Lógica. |2 UDESA | |
| 650 | 7 | |a Computación. |2 UDESA | |
| 650 | 7 | |a Lógica simbólica y matemática. |2 UDESA | |
| 600 | 1 | 0 | |a Dunn, J. Michael, |d 1941-2021. |
| 600 | 1 | 4 | |a Dunn, J. Michael, |d 1941- |
| 700 | 1 | |a Bimbó, Katalin, |d 1963- |e ed. | |
| 700 | 1 | |a Dunn, J. Michael, |d 1941-2021. | |
| 830 | 0 | |a Outstanding contributions to logic ; |v 8. | |
| 856 | 4 | 0 | |z Solo para usuarios autorizados |u https://link-springer-com.eza.udesa.edu.ar/book/10.1007%2F978-3-319-29300-4 |