Towards a Behavioral Algebraic Theory of Logical Valuations
Carlos Caleiro, Ricardo Gonçalves · Fundamenta Informaticae · 2011
Logical matrices are widely accepted as the semantic structures that most naturally fit the traditional approach to algebraic logic. The behavioral approach to the algebraization of logics extends the applicability of the traditional methods of algeb