Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/6933
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Descalço, L. | pt |
dc.contributor.author | Martins, Manuel A. | pt |
dc.date.accessioned | 2012-02-27T16:19:44Z | - |
dc.date.available | 2012-02-27T16:19:44Z | - |
dc.date.issued | 2005 | - |
dc.identifier.issn | 0138-0680 | pt |
dc.identifier.uri | http://hdl.handle.net/10773/6933 | - |
dc.description.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. | pt |
dc.description.sponsorship | FCT via UIMA | pt |
dc.language.iso | eng | pt |
dc.publisher | Department of Logic, University of Lodz | pt |
dc.rights | openAccess | por |
dc.title | On the injectivity of the Leibniz operator | pt |
dc.type | article | pt |
dc.peerreviewed | yes | pt |
ua.distribution | international | pt |
degois.publication.firstPage | 203 | pt |
degois.publication.issue | 4 | pt |
degois.publication.issue | 4 | |
degois.publication.lastPage | 211 | pt |
degois.publication.title | Bulletin of the Section of Logic | pt |
degois.publication.volume | 34 | pt |
dc.relation.publisherversion | 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.