Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Foulis m-semilattices and their modules
Michal Botur, Jan Paseka, Milan Lekár
Building upon the results of Jacobs, we show that the category OMLatLin of orthomodular lattices and linear maps forms a dagger category. For each orthomodular lattice X, we constr…
math.LO2024
Tense logics based on posets
Ivan Chajda, Helmut Länger, Antonio Ledda +2
Not all logical systems can be captured using algebras. We see this in classical logic (formalized by Boolean algebras) and many-valued logics (like Lukasiewicz logic with MV-algeb…