Sciweavers

WOLLIC
2009
Springer
14 years 7 months ago
Algebraic Valuations as Behavioral Logical Matrices
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
Carlos Caleiro, Ricardo Gonçalves