Abstract Valuation Semantics

We define and study abstract valuation semantics for logics, an algebraically well-behaved version of valuation semantics. Then, in the context of the behavioral approach to the algebraization of logics, we show, by means of meaningful bridge theorems and application examples, that abstract valuations are suited to play a role similar to the one played by logical matrices in the traditional approach to algebraization.

[1]  W. Blok.  Algebraic Semantics for Universal Horn Logic Without Equality , 1992 .

[2]  Manuel A. Martins.  Closure properties for the class of behavioral models , 2007, Theor. Comput. Sci..

[3]  Jean-Yves Béziau,et al.  Théorie de la valuation , 1994 .

[4]  Ricardo Gonçalves,et al.  Algebraic Valuations as Behavioral Logical Matrices , 2009, WoLLIC.

[5]  Michel Bidoit,et al.  Behavioural Theories and the Proof of Behavioural Properties , 1996, Theor. Comput. Sci..

[6]  Josep Maria Font.  Taking Degrees of Truth Seriously , 2009, Stud Logica.

[7]  Ricardo Gonçalves,et al.  Behavioral Algebraization of Logics , 2009, Stud Logica.

[8]  José Luiz Fiadeiro,et al.  Structuring Theories on Consequence , 1988, ADT.

[9]  Ryszard Wójcicki,et al.  Theory of Logical Calculi , 1988 .

[10]  Ricardo Gonçalves,et al.  Behavioral algebraization of da Costa's C-systems , 2009, J. Appl. Non Class. Logics.

[11]  Kenneth L Stoler.  A hidden agenda. , 2008, The New York state dental journal.

[12]  Arnon Avron,et al.  Non-deterministic Matrices and Modular Semantics of Rules , 2005 .

[13]  A. A. Roback,et al.  Béziau's Translation Paradox , 2008 .

[14]  Razvan Diaconescu.  On quasi-varieties of multiple valued logic models , 2011, Math. Log. Q..

[15]  Willem J. Blok,et al.  Protoalgebraic logics , 1986, Stud Logica.

[16]  S. Bloom.  Some theorems on structural consequence operations , 1975 .

[17]  Ricardo Gonçalves,et al.  On the Algebraization of Many-Sorted Logics , 2006, WADT.

[18]  David Nelson,et al.  Constructible falsity , 1949, Journal of Symbolic Logic.

[19]  J. Łoś,et al.  Remarks on sentential logics , 1958 .

[20]  Manuel A. Martins,et al.  Behavioural reasoning for conditional equations , 2007, Math. Struct. Comput. Sci..

[21]  Jean-Yves Béziau.  Classical Negation can be Expressed by One of its Halves , 1999, Log. J. IGPL.

[22]  Marcelo E. Coniglio,et al.  Two's Company: “The Humbug of Many Logical Values” , 2005 .

[23]  Burghard Herrmann.  Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator , 1997, Stud Logica.

[24]  Grigore Rosu,et al.  Behavioral abstraction is hiding information , 2004, Theor. Comput. Sci..

[25]  Ricardo Gonçalves,et al.  Towards a Behavioral Algebraic Theory of Logical Valuations , 2011, Fundam. Informaticae.

[26]  H. Rasiowa.  An Algebraic Approach To Non Classical Logics , 1974 .

[27]  George Voutsadakis.  Categorical Abstract Algebraic Logic: Behavioral π-Institutions , 2014, Stud Logica.

[28]  Josep Maria Font,et al.  A Survey of Abstract Algebraic Logic , 2003, Stud Logica.