Catálogo bibliográfico FCT/UNL
Image from Google Jackets

Logics of variable inclusion [Documento eletrónico] / Stefano Bonzio, Francesco Paoli, Michele Pra Baldi

Main Author: Bonzio, StefanoCoauthor: Paoli, Francesco, co-aut.;Pra Baldi, Michele, co-aut.Language: eng.Country: Switzerland, Swiss Confederation, Cham.Publication: Cham : Springer International Publishing, 2022Description: X, 221 p. : il.ISBN: 978-3-031-04297-3.Series: Trends in Logic : Studia Logica Library, vol. 59Subject - Topical Name: Logic | Algebraic logic | Logic, Symbolic and mathematical Online Resources:Click here to access online
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Copy number Status Date due Barcode
E-Books Biblioteca NOVA FCT Online Não Ficção BC1.SPR FCT (Browse shelf(Opens below)) 1 Available 96479

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 their semantics using the construction of Plonka sums of matrix models. The authors also cover Paraconsistent Weak Kleene logic and survey its abstract algebraic logical properties. This book is of interest to scholars of formal logic.

There are no comments on this title.

to post a comment.
Moodle da Biblioteca Slideshare da Biblioteca Siga-nos no Issuu Twitter da Biblioteca Instagram da Biblioteca Facebook da Biblioteca Blog da Biblioteca