3 citations · 3 across the 5 of their papers we have counts for
5 papers · 1 filter
Categorical Equivalence between - product algebras and semi-low -rings
Lilian J. Cruz, Yuri A. Poveda
An explicit categorical equivalence is defined between a proper subvariety of the class of -algebras, as defined by Di Nola and Dvureenskij, to be called -al…
Intuitionistic Existential Graphs from a non traditional point of view
Yuri A. Poveda, Steven Zuluaga
In this article we develop a new version of the intuitionist existential graphs presented by Arnol Oostra [4]. The deductive rules presented in this article have the same meaning a…
On the equivalence between MV-algebras and -groups with strong unit
Eduardo J. Dubuc, Yuri A. Poveda
In "A new proof of the completeness of the Lukasiewicz axioms"} (Transactions of the American Mathematical Society, 88) C.C. Chang proved that any totally ordered -algebra …
A Simple Proof of McNaughton Theorem
Eduardo J. Dubuc, Yuri Poveda
In this note we exhibit a very simple proof of McNaughton Theorem, almost right out of the definitions, and at the same time we observe that this theorem does not depend of Chang's…
Representation theory of mv-algebras
Eduardo J. Dubuc, Yuri A. Poveda
In this paper we develop a general representation theory for mv-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of c…