Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Belief revision in non-classical logics / / Marcio Moretto Ribeiro
| Belief revision in non-classical logics / / Marcio Moretto Ribeiro |
| Autore | Ribeiro Marcio Moretto |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | London ; ; New York, : Springer, 2012, c2013 |
| Descrizione fisica | 1 online resource (126 p.) |
| Disciplina | 006.3 |
| Collana | SpringerBriefs in computer science |
| Soggetto topico |
Nonclassical mathematical logic
Logic, Symbolic and mathematical Belief and doubt |
| ISBN |
1-283-61173-2
9786613924186 1-4471-4186-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Introduction -- Consequence -- Logics -- Classical Belief Revision -- AGM Contraction in Non-Classical Logics -- AGM Revision in Logics without Negation -- Base Revision in Logics without Negation -- Algorithms for Belief Bases -- Conclusion -- Index. |
| Record Nr. | UNINA-9910437575103321 |
Ribeiro Marcio Moretto
|
||
| London ; ; New York, : Springer, 2012, c2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essays on non-classical logic [[electronic resource] /] / editor, Heinrich Wansing
| Essays on non-classical logic [[electronic resource] /] / editor, Heinrich Wansing |
| Pubbl/distr/stampa | River Edge, N.J., : World Scientific, 2001 |
| Descrizione fisica | 1 online resource (275 p.) |
| Disciplina |
160
511.31 |
| Altri autori (Persone) | WansingH (Heinrich) |
| Collana | Advances in logic |
| Soggetto topico |
Nonclassical mathematical logic
Tense (Logic) Negation (Logic) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-94806-3
9786611948061 981-279-974-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; 1 Fine Grained Theories of Time ; 1.1 Priorean Tense Logic ; 1.2 Referential Tense Logic ; 1.3 A First Look at Allen's System ; 1.4 A Sorted Interval-Based Language ; 1.5 Concluding Remarks ; Bibliography ; 2 Revision Sequences and Computers With an Infinite Amount of Time
2.1 Introduction 2.2 The Gupta-Belnap Systems ; 2.2.1 Revision Sequences ; 2.2.2 The Systems S# and S* ; 2.3 Infinite Time Turing Machines ; 2.4 Revision Sequences Modeled by Infinite Time Turing Machines ; 2.5 The Limit Rule and Other Applications ; 2.6 Aftermath ; Bibliography 3 On Frege's Nightmare: A Combination of Intuitionistic Free and Paraconsistent Logics 3.1 Aims of This Paper ; 3.2 The Dialogical Approach to Free Logic ; 3.2.1 Dialogical Free Logic With and Without tertium non datur ; 3.2.2 Winning Strategies and Dialogical Tableaux for DFL 3.2.3 Many Quantifiers and Sorts of Objects - The Systems DFLn and DFL 3.2.4 Combining DFLI and DFLC ; 3.3 Inconsistent Objects ; 3.3.1 Paraconsistency ; 3.3.2 The Dialogical Approach to Paraconsistent Logic and Frege's Nightmare ; 3.4 Conclusions ; Bibliography 4 Truthmakers Entailment and Necessity 4.1 Truthmakers ; 4.2 Entailment ; 4.3 Necessity ; 4.4 Reductionism ; 4.5 Proofs ; 4.6 Conclusion ; Bibliography ; 5 Global Definability in Basic Modal Logic ; 5.1 Introduction ; 5.2 Basic Concepts ; 5.3 Local Definability 5.4 Global Definability |
| Record Nr. | UNINA-9910454349603321 |
| River Edge, N.J., : World Scientific, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essays on non-classical logic [[electronic resource] /] / editor, Heinrich Wansing
| Essays on non-classical logic [[electronic resource] /] / editor, Heinrich Wansing |
| Pubbl/distr/stampa | River Edge, N.J., : World Scientific, 2001 |
| Descrizione fisica | 1 online resource (275 p.) |
| Disciplina |
160
511.31 |
| Altri autori (Persone) | WansingH (Heinrich) |
| Collana | Advances in logic |
| Soggetto topico |
Nonclassical mathematical logic
Tense (Logic) Negation (Logic) |
| ISBN |
1-281-94806-3
9786611948061 981-279-974-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; 1 Fine Grained Theories of Time ; 1.1 Priorean Tense Logic ; 1.2 Referential Tense Logic ; 1.3 A First Look at Allen's System ; 1.4 A Sorted Interval-Based Language ; 1.5 Concluding Remarks ; Bibliography ; 2 Revision Sequences and Computers With an Infinite Amount of Time
2.1 Introduction 2.2 The Gupta-Belnap Systems ; 2.2.1 Revision Sequences ; 2.2.2 The Systems S# and S* ; 2.3 Infinite Time Turing Machines ; 2.4 Revision Sequences Modeled by Infinite Time Turing Machines ; 2.5 The Limit Rule and Other Applications ; 2.6 Aftermath ; Bibliography 3 On Frege's Nightmare: A Combination of Intuitionistic Free and Paraconsistent Logics 3.1 Aims of This Paper ; 3.2 The Dialogical Approach to Free Logic ; 3.2.1 Dialogical Free Logic With and Without tertium non datur ; 3.2.2 Winning Strategies and Dialogical Tableaux for DFL 3.2.3 Many Quantifiers and Sorts of Objects - The Systems DFLn and DFL 3.2.4 Combining DFLI and DFLC ; 3.3 Inconsistent Objects ; 3.3.1 Paraconsistency ; 3.3.2 The Dialogical Approach to Paraconsistent Logic and Frege's Nightmare ; 3.4 Conclusions ; Bibliography 4 Truthmakers Entailment and Necessity 4.1 Truthmakers ; 4.2 Entailment ; 4.3 Necessity ; 4.4 Reductionism ; 4.5 Proofs ; 4.6 Conclusion ; Bibliography ; 5 Global Definability in Basic Modal Logic ; 5.1 Introduction ; 5.2 Basic Concepts ; 5.3 Local Definability 5.4 Global Definability |
| Record Nr. | UNINA-9910782277703321 |
| River Edge, N.J., : World Scientific, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essays on non-classical logic / / editor, Heinrich Wansing
| Essays on non-classical logic / / editor, Heinrich Wansing |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | River Edge, N.J., : World Scientific, 2001 |
| Descrizione fisica | 1 online resource (275 p.) |
| Disciplina |
160
511.31 |
| Altri autori (Persone) | WansingH (Heinrich) |
| Collana | Advances in logic |
| Soggetto topico |
Nonclassical mathematical logic
Tense (Logic) Negation (Logic) |
| ISBN |
1-281-94806-3
9786611948061 981-279-974-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; 1 Fine Grained Theories of Time ; 1.1 Priorean Tense Logic ; 1.2 Referential Tense Logic ; 1.3 A First Look at Allen's System ; 1.4 A Sorted Interval-Based Language ; 1.5 Concluding Remarks ; Bibliography ; 2 Revision Sequences and Computers With an Infinite Amount of Time
2.1 Introduction 2.2 The Gupta-Belnap Systems ; 2.2.1 Revision Sequences ; 2.2.2 The Systems S# and S* ; 2.3 Infinite Time Turing Machines ; 2.4 Revision Sequences Modeled by Infinite Time Turing Machines ; 2.5 The Limit Rule and Other Applications ; 2.6 Aftermath ; Bibliography 3 On Frege's Nightmare: A Combination of Intuitionistic Free and Paraconsistent Logics 3.1 Aims of This Paper ; 3.2 The Dialogical Approach to Free Logic ; 3.2.1 Dialogical Free Logic With and Without tertium non datur ; 3.2.2 Winning Strategies and Dialogical Tableaux for DFL 3.2.3 Many Quantifiers and Sorts of Objects - The Systems DFLn and DFL 3.2.4 Combining DFLI and DFLC ; 3.3 Inconsistent Objects ; 3.3.1 Paraconsistency ; 3.3.2 The Dialogical Approach to Paraconsistent Logic and Frege's Nightmare ; 3.4 Conclusions ; Bibliography 4 Truthmakers Entailment and Necessity 4.1 Truthmakers ; 4.2 Entailment ; 4.3 Necessity ; 4.4 Reductionism ; 4.5 Proofs ; 4.6 Conclusion ; Bibliography ; 5 Global Definability in Basic Modal Logic ; 5.1 Introduction ; 5.2 Basic Concepts ; 5.3 Local Definability 5.4 Global Definability |
| Record Nr. | UNINA-9910822665103321 |
| River Edge, N.J., : World Scientific, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An introduction to non-classical logic : from if to is / / Graham Priest [[electronic resource]]
| An introduction to non-classical logic : from if to is / / Graham Priest [[electronic resource]] |
| Autore | Priest Graham |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2008 |
| Descrizione fisica | 1 online resource (xxxii, 613 pages) : digital, PDF file(s) |
| Disciplina | 511.3 |
| Collana | Cambridge introductions to philosophy |
| Soggetto topico | Nonclassical mathematical logic |
| ISBN |
1-107-17665-4
1-107-08629-9 1-282-39019-8 9786612390197 0-511-64568-6 0-511-80117-3 0-511-64977-0 0-511-39230-3 0-511-56843-6 0-511-39361-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Half-title; Title; Copyright; Dedication; Contents; Preface to the First Edition; Preface to the Second Edition; Mathematical Prolegomenon; Part I Propositional Logic; Postcript: An Historical Perspective on Conditionals; Part II Quantification and Identity; Postcript: A Methodological Coda; References; Index of Names; Index of Subjects |
| Record Nr. | UNINA-9910454717603321 |
|
Priest Graham
|
||
| Cambridge : , : Cambridge University Press, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An introduction to non-classical logic : from if to is / / Graham Priest [[electronic resource]]
| An introduction to non-classical logic : from if to is / / Graham Priest [[electronic resource]] |
| Autore | Priest Graham |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2008 |
| Descrizione fisica | 1 online resource (xxxii, 613 pages) : digital, PDF file(s) |
| Disciplina | 511.3 |
| Collana | Cambridge introductions to philosophy |
| Soggetto topico | Nonclassical mathematical logic |
| ISBN |
1-107-17665-4
1-107-08629-9 1-282-39019-8 9786612390197 0-511-64568-6 0-511-80117-3 0-511-64977-0 0-511-39230-3 0-511-56843-6 0-511-39361-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Half-title; Title; Copyright; Dedication; Contents; Preface to the First Edition; Preface to the Second Edition; Mathematical Prolegomenon; Part I Propositional Logic; Postcript: An Historical Perspective on Conditionals; Part II Quantification and Identity; Postcript: A Methodological Coda; References; Index of Names; Index of Subjects |
| Record Nr. | UNINA-9910782699803321 |
|
Priest Graham
|
||
| Cambridge : , : Cambridge University Press, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An introduction to non-classical logic : from if to is / / Graham Priest
| An introduction to non-classical logic : from if to is / / Graham Priest |
| Autore | Priest Graham |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Cambridge, UK ; ; New York, : Cambridge University Press, 2008 |
| Descrizione fisica | 1 online resource (xxxii, 613 pages) : digital, PDF file(s) |
| Disciplina | 511.3 |
| Collana | Cambridge introductions to philosophy |
| Soggetto topico |
Nonclassical mathematical logic
Logic, Symbolic and mathematical |
| ISBN |
1-107-17665-4
1-107-08629-9 1-282-39019-8 9786612390197 0-511-64568-6 0-511-80117-3 0-511-64977-0 0-511-39230-3 0-511-56843-6 0-511-39361-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Half-title; Title; Copyright; Dedication; Contents; Preface to the First Edition; Preface to the Second Edition; Mathematical Prolegomenon; Part I Propositional Logic; Postcript: An Historical Perspective on Conditionals; Part II Quantification and Identity; Postcript: A Methodological Coda; References; Index of Names; Index of Subjects |
| Record Nr. | UNINA-9910819702503321 |
|
Priest Graham
|
||
| Cambridge, UK ; ; New York, : Cambridge University Press, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An introduction to non-classical logic : from if to is / Graham Priest
| An introduction to non-classical logic : from if to is / Graham Priest |
| Autore | Priest, Graham |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 2008 |
| Descrizione fisica | xxxii, 613 p. ; 25 cm |
| Disciplina | 511.3 |
| Soggetto topico | Nonclassical mathematical logic |
| ISBN | 9780521670265 |
| Classificazione |
AMS 03-01
AMS 03B20 AMS 03B45 AMS 03B50 LC QA9.4.P75 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001395879707536 |
|
Priest, Graham
|
||
| Cambridge ; New York : Cambridge University Press, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Nichtklassische Logik : eine Einführung / herausgegeben von Lothar Kreiser, Siegfried Gottwald, Werner Stelzner
| Nichtklassische Logik : eine Einführung / herausgegeben von Lothar Kreiser, Siegfried Gottwald, Werner Stelzner |
| Autore | Kreiser, Lothar |
| Pubbl/distr/stampa | Berlin : Akademie-Verlag, 1988 |
| Descrizione fisica | xiii, 437 p. ; 22 cm. |
| Altri autori (Persone) |
Gottwald, Siegfriedauthor
Stelzner, Werner |
| Soggetto topico | Nonclassical mathematical logic |
| ISBN | 3050002743 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISALENTO-991003829539707536 |
|
Kreiser, Lothar
|
||
| Berlin : Akademie-Verlag, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Nonclassical and inverse problems for pseudoparabolic equations / / A. Asanov and E.R. Atamanov
| Nonclassical and inverse problems for pseudoparabolic equations / / A. Asanov and E.R. Atamanov |
| Autore | Asanov A. |
| Edizione | [Reprint 2014] |
| Pubbl/distr/stampa | Utrecht, the Netherlands : , : VSP, , 1997 |
| Descrizione fisica | 1 online resource (156 pages) |
| Collana | Inverse and ill-posed problems series |
| Soggetto topico |
Differential equations, Parabolic
Nonclassical mathematical logic Inverse problems (Differential equations) Numerical analysis |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-090014-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Introduction -- Chapter 1. The Cauchy problem with data in a time-like manifold for the pseudoparabolic equation -- Chapter 2. Interior problems for pseudoparabolic equations -- Chapter 3. Inverse problems for operator pseudoparabolic equations -- Bibliography |
| Record Nr. | UNINA-9910463556103321 |
|
Asanov A.
|
||
| Utrecht, the Netherlands : , : VSP, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
