Showing math.LOShow all
2 papers · 1 filter
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…
math.LO2024
Operators on complemented lattices
Ivan Chajda, Helmut Länger
The present paper deals with complemented lattices where, however, a unary operation of complementation is not explicitly assumed. This means that an element can have several compl…