11 citations · 16 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
Normal extensions of KTB of codimension 3
James Koussas, Tomasz Kowalski, Yutaka Miyazaki +1
It is known that in the lattice of normal extensions of the logic KTB there are unique logics of codimensions 1 and 2, namely, the logic of a single reflexive point, and the logic…
math.LO2021
Varieties of semiassociative relation algebras and tense algebras
James Koussas, Tomasz Kowalski
It is well known that the subvariety lattice of the variety of relation algebras has exactly three atoms. The (join-irreducible) covers of two of these atoms are known, but a compl…