Add to ORKGThe aim of this contribution is to present our representation for finite Gödel algebras with operators and to present further research lines in this direction. In particular, we first discuss on a possible way to extend of the same to the whole family of Gödel algebras with operators (the so defined variety will be denoted by GAO) and secondly we present a logic, denoted by GK¿,¿¿ being its syntactic counterpart
We investigate the variety corresponding to a logic (introduced in Esteva and Godo, 1998, and called...
We solve the minimization problem for finitely axiomatizable theories in G\uf6del infinite-valued pr...
Abstract. The most recent wave of applications of logic to operator algebras is a young and rapidly ...
We investigate the automorphism group of finite G\uf6del algebras, the algebraic counterpart of G\uf...
In this paper we introduce and study finite G ¿odel algebras with operators (GAOs for short) and the...
Beside algebraic and proof-theoretical studies, a number of different approaches have been pursued i...
We obtain an algorithm to compute finite coproducts of finitely generated Gödel algebras, i.e. Heyti...
AbstractWe obtain an algorithm to compute finite coproducts of finitely generated Gödel algebras, i....
Generalized BL-algebras, i.e. divisible residuated lattices, provide the semantics for a generalizat...
We characterize the structure of the automorphism groups of finitely generated free algebras in loca...
Generalized BL-algebras, i.e. divisible residuated lattices, provide the semantics for a generalizat...
Generalized BL-algebras, i.e. divisible residuated lattices, provide the semantics for a generalizat...
This work concerns algebraic models of fuzzy and many-valued propositional logics, in particular Boo...
Generalized BL-algebras, i.e. divisible residuated lattices, provide the semantics for a generalizat...
We investigate the variety corresponding to a logic (introduced in Esteva and Godo, 1998, and called...
We investigate the variety corresponding to a logic (introduced in Esteva and Godo, 1998, and called...
We solve the minimization problem for finitely axiomatizable theories in G\uf6del infinite-valued pr...
Abstract. The most recent wave of applications of logic to operator algebras is a young and rapidly ...
We investigate the automorphism group of finite G\uf6del algebras, the algebraic counterpart of G\uf...
In this paper we introduce and study finite G ¿odel algebras with operators (GAOs for short) and the...
Beside algebraic and proof-theoretical studies, a number of different approaches have been pursued i...
We obtain an algorithm to compute finite coproducts of finitely generated Gödel algebras, i.e. Heyti...
AbstractWe obtain an algorithm to compute finite coproducts of finitely generated Gödel algebras, i....
Generalized BL-algebras, i.e. divisible residuated lattices, provide the semantics for a generalizat...
We characterize the structure of the automorphism groups of finitely generated free algebras in loca...
Generalized BL-algebras, i.e. divisible residuated lattices, provide the semantics for a generalizat...
Generalized BL-algebras, i.e. divisible residuated lattices, provide the semantics for a generalizat...
This work concerns algebraic models of fuzzy and many-valued propositional logics, in particular Boo...
Generalized BL-algebras, i.e. divisible residuated lattices, provide the semantics for a generalizat...
We investigate the variety corresponding to a logic (introduced in Esteva and Godo, 1998, and called...
We investigate the variety corresponding to a logic (introduced in Esteva and Godo, 1998, and called...
We solve the minimization problem for finitely axiomatizable theories in G\uf6del infinite-valued pr...
Abstract. The most recent wave of applications of logic to operator algebras is a young and rapidly ...