Repositório Institucional da Universidade de Aveiro > Departamento de Matemática > MAT - Artigos >
 On the injectivity of the Leibniz operator
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
authors: 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.
URI: http://hdl.handle.net/10773/6933
ISSN: 0138-0680
publisher version/DOI: http://www.filozof.uni.lodz.pl/bulletin/
source: Bulletin of the Section of Logic
appears in collectionsMAT - Artigos

files in this item

file description sizeformat
34_4_2 (2005).pdfVersão online da revista173.29 kBAdobe PDFview/open

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


Valid XHTML 1.0! RCAAP OpenAIRE DeGóis
ria-repositorio@ua.pt - Copyright ©   Universidade de Aveiro - RIA Statistics - Powered by MIT's DSpace software, Version 1.6.2