Brouwerian Semilattices
From MaRDI portal
Publication:3927295
DOI10.2307/1998339zbMath0473.06003OpenAlexW4231153836MaRDI QIDQ3927295
Publication date: 1981
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1998339
dualitymeet-semilatticemeet-irreducible elementslattice of varietiesfinitely based varietiescategory of posetsBrouwerian semilatticedual order-ideals
Related Items
Adjoint maps between implicative semilattices and continuity of localic maps ⋮ V. Yankov’s Contributions to Propositional Logic ⋮ On the free implicative semilattice extension of a Hilbert algebra ⋮ Nuclear ranges in implicative semilattices ⋮ Fregean subtractive varieties with definable congruence ⋮ An algebraic approach to subframe logics. Intuitionistic case ⋮ Duality and Universal Models for the Meet-Implication Fragment of IPC ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ Characteristic formulas of partial Heyting algebras ⋮ Unnamed Item ⋮ For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ Selfextensional logics with a conjunction ⋮ Diego's theorem for nuclear implicative semilattices ⋮ Fregean logics ⋮ On intermediate inquisitive and dependence logics: an algebraic study ⋮ Equivalential algebras. I: Representation ⋮ Algebraic aspects of relatively pseudocomplemented posets ⋮ Lewis meets Brouwer: constructive strict implication ⋮ A frame-theoretic perspective on Esakia duality ⋮ Strong endomorphism kernel property for finite Brouwerian semilattices and relative Stone algebras ⋮ On effective descent \(\mathcal{V}\)-functors and familial descent morphisms ⋮ Esakia style duality for implicative semilattices ⋮ Equivalential Algebras with Conjunction on Dense Elements ⋮ Representation of Hilbert algebras and implicative semilattices ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ L-algebras with duality and the structure group of a set-theoretic solution to the Yang-Baxter equation ⋮ Free equivalential algebras ⋮ Gödel algebras free over finite distributive lattices ⋮ (Dual) Hoops Have Unique Halving ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties ⋮ Subdirectly irreducible sectionally pseudocomplemented semilattices ⋮ EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES ⋮ On algebras and varieties with semilattice reducts ⋮ A note on Hilbert algebras and their related generalized Esakia spaces ⋮ On subtractive varieties II: General properties ⋮ AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE ⋮ FREGEAN VARIETIES ⋮ Semi-Heyting Algebras and Identities of Associative Type ⋮ On the free frontal implicative semilattice extension of a frontal Hilbert algebra ⋮ A short note on divisible residuated semilattices ⋮ Semiconic idempotent residuated structures ⋮ Easkia Duality and Its Extensions ⋮ Constructive Modalities with Provability Smack ⋮ Perfect semilattices ⋮ Characteristic inference rules ⋮ Duality for finite Hilbert algebras ⋮ On interpretations of varieties with semilattice reduct ⋮ Projectivity in (bounded) commutative integral residuated lattices ⋮ L-algebras and topology
This page was built for publication: Brouwerian Semilattices
