Artigo de Periódico
An order-theoretic analysis of interpretations among propositional deductive systems
Fecha
2013Registro en:
0168-0072
v. 164, n. 2
Autor
Russo, Ciro
Russo, Ciro
Institución
Resumen
In this paper we study interpretations and equivalences of propositional deductive systems
by using a quantale-theoretic approach introduced by Galatos and Tsinakis. Our aim is to
provide a general order-theoretic framework which is able to describe and characterize
both strong and weak forms of interpretations among propositional deductive systems also
in the cases where the systems have different underlying languages.