The following pages link to (Q5519895):
Displaying 50 items.
- A new approach for classification of filters in residuated lattices (Q277573) (← links)
- Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. (Q284973) (← links)
- Interval MV-algebras and generalizations. (Q459040) (← links)
- The Belluce-lattice associated with a bounded Hilbert algebra (Q521730) (← links)
- Fregean logics (Q598302) (← links)
- A glimpse of deductive systems in algebra (Q607435) (← links)
- Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic (Q780272) (← links)
- \(L\)-algebras in logic, algebra, geometry, and topology (Q781349) (← links)
- Some types of filters in residuated lattices (Q894672) (← links)
- Free equivalential algebras (Q952484) (← links)
- \(L\)-algebras, self-similarity, and \(l\)-groups (Q952544) (← links)
- Extended-order algebras (Q959059) (← links)
- Hilbert algebras of fractions (Q963513) (← links)
- States on Hilbert algebras (Q965906) (← links)
- Equational spectrum of Hilbert varieties (Q1035340) (← links)
- Representation and duality for Hilbert algebras (Q1040223) (← links)
- Subdirect products of totally ordered BCK-algebras (Q1095168) (← links)
- Every BCK-algebra is a set of residuables in an integral pomonoid (Q1111585) (← links)
- Computations in fragments of intuitionistic propositional logic (Q1181713) (← links)
- Relatively free implicative semi-lattices (Q1231920) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- On the quasivariety of BCK-algebras and its subvarieties (Q1344842) (← links)
- Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
- Extensions of fuzzy deductive systems in Hilbert algebras (Q1357099) (← links)
- On the lattice of deductive systems of a BL-algebra (Q1407188) (← links)
- Representation of Hilbert algebras and implicative semilattices (Q1419666) (← links)
- Nodal filters in hoop algebras (Q1626240) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- L-algebras with duality and the structure group of a set-theoretic solution to the Yang-Baxter equation (Q1985746) (← links)
- Imploring GE-filters of GE-algebras (Q2034962) (← links)
- Splittings in subreducts of hoops (Q2082253) (← links)
- \(L\)-algebras and three main non-classical logics (Q2140578) (← links)
- Finite distributive semilattices (Q2156415) (← links)
- On intermediate inquisitive and dependence logics: an algebraic study (Q2172827) (← links)
- Algebraic aspects of relatively pseudocomplemented posets (Q2183094) (← links)
- Results in L-algebras (Q2226978) (← links)
- Complete and atomic Tarski algebras (Q2274138) (← links)
- On weak implication algebra (Q2318286) (← links)
- Hilbert algebras with a modal operator \(\diamondsuit\) (Q2350975) (← links)
- An algebraic approach to subframe logics. Intuitionistic case (Q2370373) (← links)
- Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients (Q2392560) (← links)
- Spectral-like duality for distributive Hilbert algebras with infimum (Q2411689) (← links)
- Hilbert algebras as implicative partial semilattices (Q2454702) (← links)
- A note on Hilbert algebras and their related generalized Esakia spaces (Q2520718) (← links)
- Diego's theorem for nuclear implicative semilattices (Q2657649) (← links)
- Hilbert algebras with Hilbert-Galois connections (Q2699017) (← links)
- (Q2847082) (← links)
- Extended-order algebras as a generalization of posets (Q3099662) (← links)