Publication:3987715
From MaRDI portal
zbMath0741.06009MaRDI QIDQ3987715
Publication date: 28 June 1992
03G10: Logical aspects of lattices and related structures
06D20: Heyting algebras (lattice-theoretic aspects)
06D15: Pseudocomplemented lattices
03B50: Many-valued logic
Related Items
Functorial representation theorems for MV\(_\Delta\) algebras with additional operators, Sheaf representations of BL-algebras, Complete and atomic algebras of the infinite valued Łukasiewicz logic, Wajsberg algebras and Post algebras, Boolean products of BL-algebras, Boolean products of R0-algebras