Add to ORKGA duality between the category of finite monadic MV-algebras and a category of labelled finite Boolean spaces is given. A characterization of projectivity in some locally finite varieties of monadic MV-algebras is provided. Finally, we show that the unification type of these varieties is unitary
In this paper, we use the theory of natural duality to study subalgebra lattices in the finitely gen...
Preprint enviat per a la seva publicació: [https://arxiv.org/abs/1405.7504]In this paper we show tha...
We prove that the unification type of Lukasiewicz logic with a finite number of variables is either ...
A duality between the category of finite monadic MV-algebras and a category of labelled finite Boole...
We answer Mundici's problem number 3 (Mundici (2011) [37]): Is the category of locally finite MV-alg...
Representations of monadic MV-algebra, the characterization of locally finite monadic MV-algebras, w...
We prove that the unification type of Łukasiewicz (infinite-valued propositional) logic and of its e...
We prove that the unification type of \u141ukasiewicz (infinite-valued propositional) logic and of i...
We investigate finitarity of unification types in locally finite varieties of Heyting algebras, gi...
We prove that the unification type of Lukasiewicz (infinite-valued propositional) logic and of its e...
In joint work with E. Dubuc and D. Mundici, the first author extended Stone duality for boolean alge...
AbstractWe investigate finitarity of unification types in locally finite varieties of Heyting algebr...
In this paper, we use the theory of natural duality to study subalgebra lattices in the finitely gen...
Preprint enviat per a la seva publicació: [https://arxiv.org/abs/1405.7504]In this paper we show tha...
We prove that the unification type of Lukasiewicz logic with a finite number of variables is either ...
A duality between the category of finite monadic MV-algebras and a category of labelled finite Boole...
We answer Mundici's problem number 3 (Mundici (2011) [37]): Is the category of locally finite MV-alg...
Representations of monadic MV-algebra, the characterization of locally finite monadic MV-algebras, w...
We prove that the unification type of Łukasiewicz (infinite-valued propositional) logic and of its e...
We prove that the unification type of \u141ukasiewicz (infinite-valued propositional) logic and of i...
We investigate finitarity of unification types in locally finite varieties of Heyting algebras, gi...
We prove that the unification type of Lukasiewicz (infinite-valued propositional) logic and of its e...
In joint work with E. Dubuc and D. Mundici, the first author extended Stone duality for boolean alge...
AbstractWe investigate finitarity of unification types in locally finite varieties of Heyting algebr...
In this paper, we use the theory of natural duality to study subalgebra lattices in the finitely gen...
Preprint enviat per a la seva publicació: [https://arxiv.org/abs/1405.7504]In this paper we show tha...
We prove that the unification type of Lukasiewicz logic with a finite number of variables is either ...