|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910741198403321 |
|
|
Autore |
Bonzio Stefano |
|
|
Titolo |
Logics of Variable Inclusion / / by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (227 pages) |
|
|
|
|
|
|
Collana |
|
Trends in Logic, Studia Logica Library, , 2212-7313 ; ; 59 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Logic |
Algebraic logic |
Logic, Symbolic and mathematical |
Algebraic Logic |
Mathematical Logic in Philosophy |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Chapter 1. Analyticity, Consequence, and Meaninglessness -- Chapter 2. Płonka Sums and Regular Varieties -- Chapter 3. Dualities for Regular Varieties -- Chapter 4. Logics of Left Variable Inclusion -- Chapter 5. Logics of Right Variable Inclusion -- Chapter 6. Paraconsistent Weak Kleene Logic. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and the concept of analyticity in formal logic can profitably interact. By extending the technique of Plonka sums from algebras to logical matrices, the authors investigate the different classes of models for logics of variable inclusion and they shed new light into their formal properties. The book opens with the historical origins of logics of variable inclusion and on their philosophical motivations. It includes the basics of the algebraic theory of regular varieties and the construction of Plonka sums over semilattice direct systems of algebra. The core of the book is devoted to an abstract definition of logics of left and right variable inclusion, respectively, and the authors study |
|
|
|
|