scientific article; zbMATH DE number 3231882
From MaRDI portal
Publication:5519895
zbMath0144.00105MaRDI QIDQ5519895
Publication date: 1966
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (70)
A new approach for classification of filters in residuated lattices ⋮ Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. ⋮ Nodal filters in hoop algebras ⋮ An algebraic approach to subframe logics. Intuitionistic case ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ On the quasivariety of BCK-algebras and its subvarieties ⋮ \(L\)-algebras and three main non-classical logics ⋮ Subdirect products of totally ordered BCK-algebras ⋮ Positive Formulas in Intuitionistic and Minimal Logic ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ Extensions of fuzzy deductive systems in Hilbert algebras ⋮ Unnamed Item ⋮ Finite distributive semilattices ⋮ Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients ⋮ Unnamed Item ⋮ Every BCK-algebra is a set of residuables in an integral pomonoid ⋮ Relation between Sheffer Stroke and Hilbert algebras ⋮ Diego's theorem for nuclear implicative semilattices ⋮ Fregean logics ⋮ On intermediate inquisitive and dependence logics: an algebraic study ⋮ A glimpse of deductive systems in algebra ⋮ Spectral-like duality for distributive Hilbert algebras with infimum ⋮ Prior’s OIC nonconservativity example revisited ⋮ Algebraic aspects of relatively pseudocomplemented posets ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ Unnamed Item ⋮ Some types of filters in residuated lattices ⋮ On the lattice of deductive systems of a BL-algebra ⋮ On Implicative and Positive Implicative GE Algebras ⋮ Hilbert algebras with Hilbert-Galois connections ⋮ Representation of Hilbert algebras and implicative semilattices ⋮ Interval MV-algebras and generalizations. ⋮ Hilbert algebras as implicative partial semilattices ⋮ Results in L-algebras ⋮ Unnamed Item ⋮ Computations in fragments of intuitionistic propositional logic ⋮ Fuzzy deductive systems of RM algebras ⋮ L-algebras with duality and the structure group of a set-theoretic solution to the Yang-Baxter equation ⋮ On derivations and generalized derivations of bitonic algebras ⋮ Free equivalential algebras ⋮ \(L\)-algebras, self-similarity, and \(l\)-groups ⋮ The Belluce-lattice associated with a bounded Hilbert algebra ⋮ Extended-order algebras ⋮ Unnamed Item ⋮ Hilbert algebras of fractions ⋮ States on Hilbert algebras ⋮ Fregean logics with the multiterm deduction theorem and their algebraization ⋮ Free monadic Tarski algebras ⋮ Unnamed Item ⋮ Complete and atomic Tarski algebras ⋮ Relatively free implicative semi-lattices ⋮ Lattice of closure endomorphisms of a Hilbert algebra ⋮ Imploring GE-filters of GE-algebras ⋮ EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES ⋮ A note on Hilbert algebras and their related generalized Esakia spaces ⋮ Independent axiomatizability of sets of sentences ⋮ Complexity of intuitionistic propositional logic and its fragments ⋮ Extended-order algebras as a generalization of posets ⋮ On weak implication algebra ⋮ Equational spectrum of Hilbert varieties ⋮ Representation and duality for Hilbert algebras ⋮ Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic ⋮ \(L\)-algebras in logic, algebra, geometry, and topology ⋮ Splittings in subreducts of hoops ⋮ On the structure of varieties with equationally definable principal congruences. I ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 ⋮ On Tarski algebras with a finite set of free generators ⋮ Hilbert algebras with a modal operator \(\diamondsuit\) ⋮ On the enumeration of finite 𝐿-algebras ⋮ L-algebras and topology
This page was built for publication:
