activity
20102026
most citedUnification and projectivity in Fregean varieties

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

math.LO2026

A generic construction of free algebras in varieties of Hilbert algebras and Brouwerian semilattices

Tomasz Kowalski, Katarzyna Słomczyńska

We give a generic construction of the n-generated free Hilbert algebras and Brouwerian semilattices by a uniform method applicable to any variety of Hilbert algebras or Brouwerian…