Soft Computing, ISSN 1432-7643, 7/2008, Volume 12, Issue 9, pp. 835 - 856

Since all the algebras connected to logic have, more or less explicitly, an associated order relation, it follows, by duality principle, that they have two...

IMTL algebra | Hájek(P) algebra | Divisible BCK(P) lattice | Engineering | Weak-BL algebra | Artificial Intelligence (incl. Robotics) | BL algebra | Wajsberg algebra | Generalized-MV algebra | Heyting algebra | BCK(P) lattice | R 0 algebra | WNM algebra | Generalized-Wajsberg algebra | t-norm | MV algebra | BCK algebra | MTL algebra | Generalized-BL algebra | Residuated lattice | NM algebra | Control Engineering | Numerical and Computational Methods in Engineering | Pocrim | Mathematical Logic and Foundations | MTLalgebra | algebra | RESIDUATED LATTICES | Haijek(P) algebra | FUZZY-LOGIC | PROPOSITIONAL CALCULUS | VARIETIES | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | SYSTEMS | R-0 algebra

IMTL algebra | Hájek(P) algebra | Divisible BCK(P) lattice | Engineering | Weak-BL algebra | Artificial Intelligence (incl. Robotics) | BL algebra | Wajsberg algebra | Generalized-MV algebra | Heyting algebra | BCK(P) lattice | R 0 algebra | WNM algebra | Generalized-Wajsberg algebra | t-norm | MV algebra | BCK algebra | MTL algebra | Generalized-BL algebra | Residuated lattice | NM algebra | Control Engineering | Numerical and Computational Methods in Engineering | Pocrim | Mathematical Logic and Foundations | MTLalgebra | algebra | RESIDUATED LATTICES | Haijek(P) algebra | FUZZY-LOGIC | PROPOSITIONAL CALCULUS | VARIETIES | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | SYSTEMS | R-0 algebra

Journal Article

Journal of Multiple-Valued Logic and Soft Computing, ISSN 1542-3980, 2010, Volume 16, Issue 3-5, pp. 341 - 386

Journal Article

Soft Computing, ISSN 1432-7643, 2010, Volume 14, Issue 4, pp. 313 - 327

We illustrate by classes of examples the close connections existing between pseudo-MV algebras, on the one hand, and pseudo-BL algebras and divisible bounded...

Pseudo-Wajsberg algebra | Pseudo-Hájek(pP) algebra | Divisible bounded pseudo-BCK(pP) lattice | Pseudo-BCK algebra | Pseudo-BL algebra | Divisible bounded non-commutative residuated lattice | Pseudo-MV algebra | BCK ALGEBRAS | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | Pseudo-Hajek(pP) algebra | CALCULUS | PART II | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE

Pseudo-Wajsberg algebra | Pseudo-Hájek(pP) algebra | Divisible bounded pseudo-BCK(pP) lattice | Pseudo-BCK algebra | Pseudo-BL algebra | Divisible bounded non-commutative residuated lattice | Pseudo-MV algebra | BCK ALGEBRAS | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | Pseudo-Hajek(pP) algebra | CALCULUS | PART II | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE

Journal Article

JOURNAL OF UNIVERSAL COMPUTER SCIENCE, ISSN 0948-695X, 2008, Volume 14, Issue 22, pp. 3686 - 3715

Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to...

IMTL algebra | Heyting algebra | BCK(P) lattice | weak-BL algebra | WNM algebra | t-norm | generalized-Wajsberg algebra | Hajek(P) algebra | MV algebra | generalized-BL algebra | COMPUTER SCIENCE, SOFTWARE ENGINEERING | BCK algebra | MTL algebra | residuated lattice | divisible BCK(P) lattice | Hilbert algebra | Hertz algebra | NM algebra | BL algebra | R-0 algebra | COMPUTER SCIENCE, THEORY & METHODS | Wajsberg algebra | generalized-MV algebra | pocrim

IMTL algebra | Heyting algebra | BCK(P) lattice | weak-BL algebra | WNM algebra | t-norm | generalized-Wajsberg algebra | Hajek(P) algebra | MV algebra | generalized-BL algebra | COMPUTER SCIENCE, SOFTWARE ENGINEERING | BCK algebra | MTL algebra | residuated lattice | divisible BCK(P) lattice | Hilbert algebra | Hertz algebra | NM algebra | BL algebra | R-0 algebra | COMPUTER SCIENCE, THEORY & METHODS | Wajsberg algebra | generalized-MV algebra | pocrim

Journal Article

Journal of Universal Computer Science, ISSN 0958-695X, 2008, Volume 14, Issue 22, pp. 3686 - 3715

Generalized-MV algebra | IMTL algebra | Hájek(P) algebra | Divisible BCK(P) lattice | Heyting algebra | BCK(P) lattice | WNM algebra | Generalized-Wajsberg algebra | MV algebra | BCK algebra | MTL algebra | T-norm | Weak-BL algebra | Generalized-BL algebra | Residuated lattice | Hertz algebra | Hilbert algebra | NM algebra | BL algebra | Wajsberg algebra | Pocrim | Ro algebra

Journal Article

Journal of Universal Computer Science, ISSN 0958-695X, 2007, Volume 13, Issue 11, pp. 1628 - 1654

Journal Article

JOURNAL OF UNIVERSAL COMPUTER SCIENCE, ISSN 0948-695X, 2007, Volume 13, Issue 11, pp. 1628 - 1654

Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to...

IMTL algebra | Hajek(P) algebra | generalized-BL algebra | residuated lattice | divisible BCK(P) lattice | RESIDUATED LATTICES | Hilbert algebra | FUZZY-LOGIC | BL algebra | COMPUTER SCIENCE, THEORY & METHODS | Wajsberg algebra | LUKASIEWICZ-MOISIL ALGEBRAS | Heyting algebra | BCK(P) lattice | weak-BL algebra | PROPOSITIONAL CALCULUS | WNM algebra | VARIETIES | t-norm | generalized-Wajsberg algebra | CONNECTIONS | MV algebra | COMPUTER SCIENCE, SOFTWARE ENGINEERING | BCK algebra | MTL algebra | Hertz algebra | NM algebra | SYSTEMS | R-0 algebra | generalized-MV algebra | pocrim

IMTL algebra | Hajek(P) algebra | generalized-BL algebra | residuated lattice | divisible BCK(P) lattice | RESIDUATED LATTICES | Hilbert algebra | FUZZY-LOGIC | BL algebra | COMPUTER SCIENCE, THEORY & METHODS | Wajsberg algebra | LUKASIEWICZ-MOISIL ALGEBRAS | Heyting algebra | BCK(P) lattice | weak-BL algebra | PROPOSITIONAL CALCULUS | WNM algebra | VARIETIES | t-norm | generalized-Wajsberg algebra | CONNECTIONS | MV algebra | COMPUTER SCIENCE, SOFTWARE ENGINEERING | BCK algebra | MTL algebra | Hertz algebra | NM algebra | SYSTEMS | R-0 algebra | generalized-MV algebra | pocrim

Journal Article

JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, ISSN 1542-3980, 2010, Volume 16, Issue 3-5, pp. 341 - 386

In this paper, Part III, we shall illustrate by classes of finite examples the close connections between MV algebras, by one side, and BL algebras and...

Heyting algebra | divisible bounded BCK(P) lattice | Hajek(P) algebra | MV algebra | LOGIC | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | BCK algebra | bounded residuated lattice | PRODUCT | bounded BCK(P) lattice | SYSTEMS | BL algebra | COMPUTER SCIENCE, THEORY & METHODS | Wajsberg algebra

Heyting algebra | divisible bounded BCK(P) lattice | Hajek(P) algebra | MV algebra | LOGIC | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | BCK algebra | bounded residuated lattice | PRODUCT | bounded BCK(P) lattice | SYSTEMS | BL algebra | COMPUTER SCIENCE, THEORY & METHODS | Wajsberg algebra

Journal Article

No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.