scientific article; zbMATH DE number 3271476

Cited in

(43)

Equational spectrum of Hilbert varieties
Topological representation for monadic implication algebras
Finite equational bases for finite algebras in a congruence-distributive equational class
Selfextensional logics with a distributive nearlattice term
Simple axioms for orthomodular implication algebras
An axiomatic survey of diagram lemmas for non-abelian group-like structures
The existence of states based on Glivenko semihoops
Finite distributive semilattices
Towards an algebraic semantics for implicatives
Complete and atomic Tarski algebras
Algebras with implication and fusion: a different point of view.
Hilbert algebras as implicative partial semilattices
Commutative objects, central morphisms and subtractors in subtractive categories
On implication algebras and BCK algebras.
scientific article; zbMATH DE number 5943805 (Why is no real title available?)
On Tarski algebras with a finite set of free generators
scientific article; zbMATH DE number 66912 (Why is no real title available?)
scientific article; zbMATH DE number 722451 (Why is no real title available?)
scientific article; zbMATH DE number 1450232 (Why is no real title available?)
Quasi-modal operators on distributive nearlattices
Relation between Sheffer Stroke and Hilbert algebras
Study strong Sheffer stroke non-associative MV-algebras by fuzzy filters
Subordination Tarski algebras
Orthomodular implication algebras
A glimpse of deductive systems in algebra
On the logic of distributive nearlattices
Relational representation for subordination Tarski algebras
Priestley-style duality for DN-algebras
Interval Sheffer stroke basic algebras and Yang-Baxter equation
Characterizations of near-Heyting algebras
Implication algebras and implication semigroups of binary relations
A Category of Ordered Algebras Equivalent to the Category of Multialgebras
Override and restricted union for partial functions
From sectionally pseudocomplemented posets to pseudoimplicative dual BCK-algebras
Epimorphisms between finitely generated algebras
Choice-free duality for Tarski algebras
Partial commutators
Quasivarieties and congruence permutability of Łukasiewicz implication algebras
Expansions of semi-Heyting algebras. I: Discriminator varieties
Conditions for permutability of congruences in implication algebras
Decomposability of free Łukasiewicz implication algebras
Representation of cubic lattices by symmetric implication algebras
Free Łukasiewicz implication algebras

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5556401)