There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height

From MaRDI portal
Publication:5502814