2 papers
math.LO2025
Free five-valued Nelson Algebras
Juan Manuel Cornejo, Andrés Gallardo, Luiz F. Monteiro +1
Five-valued Nelson algebras are those satisfying the condition: . We give alternative equations defining these algebras, and determine…
cs.LO2024
Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
Andrés Gallardo, Ignacio Viglizzo
In this paper we define a class of polynomial functors suited for constructing coalgebras representing processes in which uncertainty plays an important role. In these polynomial f…