IGPL 2011 - PDF Preprint Papers

IGPL 2011

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed IGPL-2011 Paper

click to vote

IGPL
2011

65views Information Technology» more IGPL 2011»

On representable ordered residuated semigroups

1 years 9 days ago

Download www.dcs.bbk.ac.uk

We show that the equational theory of representable lattice-ordered residuated semigroups is not ﬁnitely axiomatizable. We apply this result to the problem of completeness of su...

Szabolcs Mikulás

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	65	On representable ordered residuated semigroups	claim
2	61	On atomicity of free algebras in certain cylindric-like varieties	claim
3	60	A new clustering algorithm applying a hierarchical method neural network	claim
4	54	Interpolation and FEP for logics of residuated algebras	claim
5	47	J-MADeM, a market-based model for complex decision problems	claim
6	46	Existentially equivalent cyclic ultrametric spaces and cyclically valued groups	claim
7	46	Completion and amalgamation of bounded distributive quasi lattices	claim
8	38	Generalized ordinal sums and translations	claim
9	35	Optimal gain tuning of PI speed controller in induction motor drives using particle swarm optimization	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers