Search

You can find the results of your search below. If you didn't find what you were looking for, you can create or edit the page named after your query with the appropriate button.

Results


partially_ordered_monoids: 1 Hits
ties==== ^[[Classtype]] |quasivariety | ^[[Equational theory]] | | ^[[Q
meet-semidistributive_lattices: 1 Hits
results==== ====Properties==== ^[[Classtype]] |quasivariety | ^[[Equational theory]] | | ^[[Quasiequational
partially_ordered_groups: 1 Hits
rties==== ^[[Classtype]] |quasivariety | ^[[Equational theory]] | | ^[[Q
hilbert_algebras: 1 Hits
variety of Hilbert algebras is not generated as a quasivariety by any of its finite members [(CelaniCabrer2005)]
cancellative_semigroups: 1 Hits
results==== ====Properties==== ^[[Classtype]] |quasivariety | ^[[Equational theory]] | | ^[[Quasiequational
join-semidistributive_lattices: 1 Hits
results==== ====Properties==== ^[[Classtype]] |quasivariety | ^[[Equational theory]] | | ^[[Quasiequational
semidistributive_lattices: 1 Hits
results==== ====Properties==== ^[[Classtype]] |quasivariety | ^[[Equational theory]] | | ^[[Quasiequational
commutative_residuated_partially_ordered_monoids: 1 Hits
escribed. ^[[Classtype]] |quasivariety | ^[[Equational theory]] | | ^[[Q
pocrims: 1 Hits
escribed. ^[[Classtype]] |quasivariety [(Higgs1984)] | ^[[Equational theory]]
bck-algebras: 1 Hits
erties==== ^[[Classtype]] |quasivariety [(Wronski1983)] | ^[[Equational theory]]
partially_ordered_semigroups: 1 Hits
rties==== ^[[Classtype]] |quasivariety | ^[[Equational theory]] | | ^[[Q
cancellative_monoids: 1 Hits
[[groups]]. ====Properties==== ^[[Classtype]] |quasivariety | ^[[Equational theory]] | | ^[[Quasiequational
cancellative_commutative_monoids: 1 Hits
an groups]]. ====Properties==== ^[[Classtype]] |quasivariety | ^[[Equational theory]] | | ^[[Quasiequational
bci-algebras: 1 Hits
results==== ====Properties==== ^[[Classtype]] |Quasivariety | ^[[Equational theory]] | | ^[[Quasiequational
classtype: 1 Hits
properties: 1 Hits