Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Splittings in varieties of logic
Brian A. Davey, Tomasz Kowalski, Christopher J. Taylor
We study splittings, or lack of them, in lattices of subvarieties of some logic-related varieties. We present a general lemma, the Non-Splitting Lemma, which when combined with som…
math.LO2025
Kites and representations of pseudo MV-algebras
Michal Botur, Tomasz Kowalski
We investigate the structure of perfect residuated lattices, focussing especially on perfect pseudo MV-algebras. We show that perfect pseudo MV-algebras can be represented as a gen…