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…