Publication:5519895
From MaRDI portal
zbMath0144.00105MaRDI QIDQ5519895
Publication date: 1966
Related Items
Unnamed Item, Prior’s OIC nonconservativity example revisited, Unnamed Item, Lattice of closure endomorphisms of a Hilbert algebra, EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES, Free monadic Tarski algebras, A new approach for classification of filters in residuated lattices, Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections., Interval MV-algebras and generalizations., The Belluce-lattice associated with a bounded Hilbert algebra, Fregean logics, A glimpse of deductive systems in algebra, Some types of filters in residuated lattices, Free equivalential algebras, \(L\)-algebras, self-similarity, and \(l\)-groups, Extended-order algebras, Hilbert algebras of fractions, States on Hilbert algebras, Equational spectrum of Hilbert varieties, Representation and duality for Hilbert algebras, Subdirect products of totally ordered BCK-algebras, Every BCK-algebra is a set of residuables in an integral pomonoid, Computations in fragments of intuitionistic propositional logic, Relatively free implicative semi-lattices, Independent axiomatizability of sets of sentences, On the structure of varieties with equationally definable principal congruences. III, On the quasivariety of BCK-algebras and its subvarieties, Varieties of commutative residuated integral pomonoids and their residuation subreducts, Extensions of fuzzy deductive systems in Hilbert algebras, On the lattice of deductive systems of a BL-algebra, Representation of Hilbert algebras and implicative semilattices, Nodal filters in hoop algebras, Fregean logics with the multiterm deduction theorem and their algebraization, On the structure of varieties with equationally definable principal congruences. I, L-algebras with duality and the structure group of a set-theoretic solution to the Yang-Baxter equation, Complete and atomic Tarski algebras, On weak implication algebra, Hilbert algebras with a modal operator \(\diamondsuit\), An algebraic approach to subframe logics. Intuitionistic case, Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients, Spectral-like duality for distributive Hilbert algebras with infimum, Hilbert algebras as implicative partial semilattices, A note on Hilbert algebras and their related generalized Esakia spaces, Unnamed Item, Extended-order algebras as a generalization of posets, On Tarski algebras with a finite set of free generators, 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05, Positive Formulas in Intuitionistic and Minimal Logic, Complexity of intuitionistic propositional logic and its fragments, Unnamed Item
