Involutive residuated lattices based on modular and distributive lattices.

From MaRDI portal
Publication:466876