The Italian Society for Logic and the Philosophy of Science (SILFS) was founded in 1952 with the aim of promoting and encouraging research in logic and philosophy of science inItaly. On 18--20 June 2014, the Society held its Triennial International Conference, SLFS 14, at the University "Roma TRE." The conference was divided into several sessions, each centered on one of the main current topics in logic and philosophy of science, with a special focus on interdisciplinary approaches to logical and epistemological issues in the foundations of special sciences (both natural, social and human)....
The Italian Society for Logic and the Philosophy of Science (SILFS) was founded in 1952 with the aim of promoting and encouraging research in logic an...
Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
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...
This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties an...
Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
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...
This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties an...
