An order-theoretic analysis of interpretations among propositional deductive systems
dc.creator | Russo, Ciro | |
dc.date.accessioned | 2013-07-08T12:41:34Z | |
dc.date.accessioned | 2019-05-22T15:34:55Z | |
dc.date.available | 2013-07-08T12:41:34Z | |
dc.date.available | 2019-05-22T15:34:55Z | |
dc.date.created | 2013-07-08T12:41:34Z | |
dc.date.issued | 2013 | |
dc.identifier | 0168-0072 | |
dc.identifier | http://www.repositorio.ufba.br/ri/handle/ri/12118 | |
dc.identifier | v. 164, n. 2 | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/2706880 | |
dc.description.abstract | ||
dc.language | en | |
dc.publisher | Annals of Pure and Applied Logic | |
dc.source | http://dx.doi.org/10.1016/j.apal.2012.09.006 | |
dc.subject | Consequence relation | |
dc.subject | Translation | |
dc.subject | Interpretation | |
dc.subject | Quantale | |
dc.title | An order-theoretic analysis of interpretations among propositional deductive systems | |
dc.type | Artigo de Peri??dico |