The following pages link to (Q5555713):
Displayed 7 items.
- A glimpse of deductive systems in algebra (Q607435) (← links)
- Irreducibility in implicative semilattices (Q754237) (← links)
- Algebraic aspects of deduction theorems (Q1087867) (← links)
- Varieties with equationally definable principal congruences (Q1146705) (← links)
- Density and closure in implicative semi-lattices (Q1231505) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- Hilbert algebras as implicative partial semilattices (Q2454702) (← links)