9 citations · 13 across the 11 of their papers we have counts for
11 papers
Tense distributive lattices: algebra, logic and topology
Aldo Victorio Figallo, Jonathan Sarmiento, Martín Figallo
Tense logic was introduced by Arthur Prior in the late 1950s as a result of his interest in the relationship between tense and modality. Prior's idea was to add four primitive moda…
Super-Łukasiewicz logics expanded by
Aldo V. Figallo, Aldo Figallo-Orellano, Martín Figallo
Baaz's operator was introduced (by Baaz) in order to extend Gödel logics, after that this operator was used to expand fuzzy logics by Hájek in his celebrated book. These logics…
Free algebras in varieties of Hilbert algebras with supremum generated by finite chains
Aldo V. Figallo, Elda Pick, Susana Saad +1
Hilbert algebras with supremum, i.e., Hilbert algebras where the associated order is a join-semilattice were first considered by A.V. Figallo, G. Ramon and S. Saad in [11], and ind…
Several characterizations of the 4--valued modal algebras
Aldo V. Figallo, Paolo Landini
A. Monteiro, in 1978, defined the algebras he named tetravalent modal algebras, will be called 4--valued modal algebras in this work. These algebras constitute a generalization of…
Principal and Boolean congruences on θ-valued Lukasiewicz-Moisil algebras
A. V. Figallo, I. Pascual y A. Ziliani
The first system of many-valued logic was introduced by J. Lukasiewicz, his motivation was of philosophical nature as he was looking for an interpretation of the concepts of possib…
Monadic distributive lattices and monadic augmented Kripke frames
A. V. Figallo, I. Pascual, A. Ziliani
In this article, we continue the study of monadic distributive lattices (or m-lattices) which are a natural generalization of monadic Heyting algebras, introduced by Monteiro and V…