The following pages link to (Q5519895):
Displayed 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)
- 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)
- 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)
- (Q2847082) (← links)
- Extended-order algebras as a generalization of posets (Q3099662) (← links)
- On Tarski algebras with a finite set of free generators (Q3130282) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- Positive Formulas in Intuitionistic and Minimal Logic (Q3455187) (← links)
- Complexity of intuitionistic propositional logic and its fragments (Q3643316) (← links)
- (Q4143489) (← links)
- (Q4508861) (← links)
- Prior’s OIC nonconservativity example revisited (Q4583353) (← links)
- (Q4963159) (← links)
- Lattice of closure endomorphisms of a Hilbert algebra (Q5193484) (← links)
- EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)
- Free monadic Tarski algebras (Q5917744) (← links)