1 citations · 1 across the 6 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
math.LO2024
Decidable varieties of p-algebras
Tomasz Kowalski, Katarzyna Słomczyńska
We show that for quasivarieties of p-algebras the properties of (i) having decidable first-order theory and (ii) having decidable first-order theory of the finite members, coincide…
math.LO2024
Quasivarieties of p-algebras: some new results
Tomasz Kowalski, Katarzyna Słomczyńska
We investigate quasivarieties of (distributive) p-algebras. We sharpen some previous results, give a better picture of the subquasivariety lattice, and prove that quasivarieties ge…
math.LO2024
Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
Tomasz Kowalski, Katarzyna Słomczyńska
We give a new construction of free distributive p-algebras. Our construction relies on a detailed description of completely meet-irreducible congruences, so it is purely universal…