Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/6933
Title: | On the injectivity of the Leibniz operator |
Author: | Descalço, L. Martins, Manuel A. |
Issue Date: | 2005 |
Publisher: | Department of Logic, University of Lodz |
Abstract: | 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 |
Publisher Version: | http://www.filozof.uni.lodz.pl/bulletin/ |
Appears in Collections: | DMat - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
34_4_2 (2005).pdf | Versão online da revista | 173.29 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.