3 papers
math.LO2022
A note on k-cyclic modal pseudocomplemented De Morgan algebras
Aldo Figallo-Orellano, Juan Sebastian Slagter
Symmetric and k-cyclic structure of modal pseudocomplemented De Morgan algebras algebras was introduced previously. In this paper, we first present the construction of epimorphims…
math.LO2022
Paraconsistent models of Zermelo-Fraenkel set theory
Aldo Figallo-Orellano, Juan Sebastian Slagter
In this paper, we build Fidel-structures valued models following the methodology developed for Heyting-valued models; recall that Fidel structures are not algebras in the universal…
cs.LO2020
An algebraic study of the first order version of some implicational fragments of the three-valued Lukasiewicz logic
Aldo Figallo-Orellano, Juan Sebastian Slagter
MV-algebras are an algebraic semantics for Lukasiewicz logic and MV-algebras generated by a finite chain are Heyting algebras where the Godel implication can be written in terms of…