Publication:5555713
From MaRDI portal
zbMath0169.02101MaRDI QIDQ5555713
Publication date: 1969
Related Items
A glimpse of deductive systems in algebra, Irreducibility in implicative semilattices, Algebraic aspects of deduction theorems, Varieties with equationally definable principal congruences, Density and closure in implicative semi-lattices, Uniform interpolation and compact congruences, Hilbert algebras as implicative partial semilattices