Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10773/6933
Título: | On the injectivity of the Leibniz operator |
Autor: | Descalço, L. Martins, Manuel A. |
Data: | 2005 |
Editora: | Department of Logic, University of Lodz |
Resumo: | The class of weakly algebrizable logics is defined as the class of logics having monotonic and injective Leibniz operator. We show that \monotonicity" can- not be discarded on this definition, by presenting an example of a system with injective and non monotonic Leibniz operator. We also show that the non injectivity of the non protoalgebraic inf-sup fragment of the Classic Propositional Calculus, CPC_{inf,sup}, holds only from the fact that the empty set is a CPC_{inf,sup}-filter. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/6933 |
ISSN: | 0138-0680 |
Versão do Editor: | http://www.filozof.uni.lodz.pl/bulletin/ |
Aparece nas coleções: | DMat - Artigos |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
34_4_2 (2005).pdf | Versão online da revista | 173.29 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.