Logics of Variable Inclusion (Hardcover, 1st ed. 2022)

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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Trends in Logic, 59
Release date:	June 2022
First published:	2022
Authors:	Stefano Bonzio • Francesco Paoli • Michele Pra Baldi
Dimensions:	235 x 155mm (L x W)
Format:	Hardcover
Pages:	221
Edition:	1st ed. 2022
ISBN-13:	978-3-03-104296-6
Categories:	Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Science & Mathematics > Mathematics > Mathematical foundations > General Books > Philosophy > Topics in philosophy > Logic Promotions
LSN:	3-03-104296-4
Barcode:	9783031042966

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!