2 papers
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.LO2023
Implication in sharply paraorthomodular and relatively paraorthomodular posets
Ivan Chajda, Davide Fazio, Helmut Länger +2
In this paper we show that several classes of partially ordered structures having paraorthomodular reducts, or whose sections may be regarded as paraorthomodular posets, admit a qu…