Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Congruence permutability in quasivarieties
Luca Carai, Miriam Kurtzhals, Tommaso Moraschini
It is shown that a natural notion of congruence permutability for quasivarieties already implies ``being a variety''. The result follows immediately from [3] and the sole aim of th…
math.LO2024
On the universal theory of the free pseudocomplemented distributive lattice
Luca Carai, Tommaso Moraschini
It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of…