| Autor: |
Figallo, Aldo V., Landini, Paolo |
| Rok vydání: |
2012 |
| Předmět: |
|
| Zdroj: |
Rep. Math. Logic No. 29 (1995), 3-18 (1996) |
| Druh dokumentu: |
Working Paper |
| Popis: |
In this paper we establish a new characterization of 4-valued modal algebras considered by A. Monteiro. In order to obtain this characterization we introduce a new class of algebras named generalized I-algebras. This class contains strictly the class of C-algebras defined by Y. Komori as an algebraic counterpart of the infinite-valued implicative Lukasiewicz propositional calculus. On the other hand, the relationship between I-algebras and conmutative BCK-algebras, defined by S. Tanaka in 1975, allows us to say that in a certain sense G-algebras are also a generalization of these latter algebras |
| Databáze: |
arXiv |
| Externí odkaz: |
|
