4 papers
Properties of the symmetric difference in lattices with complementation
Václav Cenker, Ivan Chajda, Helmut Länger
The symmetric difference in Boolean lattices can be defined in two different but equivalent forms. However, it can be introduced also in every bounded lattice with complementation…
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…
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…
Induced orthogonality in semilattices with 0 and in pseudocomplemented lattices and posets
Ivan Chajda, Miroslav KolaÅÃk, Helmut Länger
On an arbitrary meet-semilattice S with 0 we define an orthogonality relation and investigate the lattice Cl(S) of all subsets of S closed under this orthogonality. We show that if…