Please use this identifier to cite or link to this item:
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
ISSN: 0138-0680
Publisher Version:
Appears in Collections:DMat - Artigos

Files in This Item:
File Description SizeFormat 
34_4_2 (2005).pdfVersão online da revista173.29 kBAdobe PDFView/Open

Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.