Publication:5519895
From MaRDI portal
zbMath0144.00105MaRDI QIDQ5519895
Publication date: 1966
Related Items
Unnamed Item, Prior’s OIC nonconservativity example revisited, Unnamed Item, Unnamed Item, Relation between Sheffer Stroke and Hilbert algebras, Fuzzy deductive systems of RM algebras, On derivations and generalized derivations of bitonic algebras, Lattice of closure endomorphisms of a Hilbert algebra, EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES, Unnamed Item, Free monadic Tarski algebras, On the enumeration of finite 𝐿-algebras, L-algebras and topology, Monteiro's algebraic notion of maximal consistent theory for Tarskian logics, On Implicative and Positive Implicative GE 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, Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic, \(L\)-algebras in logic, algebra, geometry, and topology, 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, Imploring GE-filters of GE-algebras, Splittings in subreducts of hoops, \(L\)-algebras and three main non-classical logics, Finite distributive semilattices, On intermediate inquisitive and dependence logics: an algebraic study, Algebraic aspects of relatively pseudocomplemented posets, Results in L-algebras, 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, Diego's theorem for nuclear implicative semilattices, Hilbert algebras with Hilbert-Galois connections, 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