Logics Which Are Characterized by Subresiduated Lattices
From MaRDI portal
Publication:4116448
DOI10.1002/malq.19760220128zbMath0347.02040OpenAlexW2170705465MaRDI QIDQ4116448
Publication date: 1976
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19760220128
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Logical aspects of Boolean algebras (03G05)
Related Items (25)
Kleene algebras with implication ⋮ Principal congruences in weak Heyting algebras ⋮ Multi-adjoint lattice logic and truth-stressing hedges ⋮ A logical characterization of multi-adjoint algebras ⋮ The variety of modal weak Gödel algebras ⋮ On self‐distributive weak Heyting algebras ⋮ On the variety of strong subresiduated lattices ⋮ Sub-Hilbert lattices ⋮ A closer look at some subintuitionistic logics ⋮ Frontal operators in weak Heyting algebras ⋮ The lattice structure of some Lukasiewicz algebras ⋮ Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory ⋮ Dualities for subresiduated lattices ⋮ Priestley duality and quotient lattices of many-valued algebras ⋮ Quasi-discriminator varieties ⋮ The subquasivariety lattice of a discriminator variety ⋮ Free algebras in discriminator varieties ⋮ An ordered sheaf representation of subresiduated lattices ⋮ The lattice of global sections of sheaves of chains over Boolean spaces ⋮ Boolean products of lattices ⋮ Quasi-subtractive varieties ⋮ Core points in double Heyting algebras and dissectable lattices ⋮ Easkia Duality and Its Extensions ⋮ Compatible operations on commutative weak residuated lattices ⋮ On the structure of varieties with equationally definable principal congruences. IV
This page was built for publication: Logics Which Are Characterized by Subresiduated Lattices
