Author(s):
Descalço, L. 
; Martins, Manuel A.
Date: 2005
Persistent ID: http://hdl.handle.net/10773/6933
Origin: RIA - Repositório Institucional da Universidade de Aveiro
Document details
On the injectivity of the Leibniz operator
Description
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. FCT via UIMA
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. FCT via UIMA
Document Type
Article
Language English
Language English
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||