Buscar
Mostrando ítems 1-10 de 26
Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices
(WILEY-V C H VERLAG GMBH, 2008)
We study the algebraizability of the logics constructed using literal-paraconsistent and literal-paracomplete matrices described by Lewin and Mikenberg in [11], proving that they are all algebraizable in the sense of Blok ...
Monadic Curry System N-1*
(Springer, 2010-01-01)
This paper is a sequel to [5], [6]. We present the Curry monadic system N-1* which has as extensions the Curry monadic algebras C-1* and P-1*. All those systems are extensions of the classical monadic algebras introduced ...
Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices
(WILEY-V C H VERLAG GMBH, 2008)
Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices
(WILEY-V C H VERLAG GMBH, 2008)
Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matricesMATHEMATICAL LOGIC QUARTERLY
(WILEY-V C H VERLAG GMBH, 2016)
Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matricesMATHEMATICAL LOGIC QUARTERLY
(WILEY-V C H VERLAG GMBH, 2016)
First order theory for literal-paraconsistent and literal-paracomplete matricesMATHEMATICAL LOGIC QUARTERLYMATH LOGIC QUART
(WILEY-V C H VERLAG GMBH, 2016)
Para-fuzzy logic controller
(Springer, 2004-01-01)
In this paper we present a logic controller based on ideas of Fuzzy logic and Paraconsistent Annotated Logic. The combination of both logics brings a new approach to fuzzy, inconsistent and paracomplete concepts. The ...