JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, ISSN 1064-1246, 2019, Volume 37, Issue 1, pp. 1457 - 1466

In this paper, we introduce the notions of node, nodal filter and seminode in equality algebras and study some properties of them. First, we study the relation...

seminode | node | nodal filter | Equality algebra | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | hertz algebra | Algebra | Equality | Boolean algebra | Nodes

seminode | node | nodal filter | Equality algebra | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | hertz algebra | Algebra | Equality | Boolean algebra | Nodes

Journal Article

Information Sciences, ISSN 0020-0255, 03/2017, Volume 381, pp. 270 - 282

In this paper, by considering the notion of equality algebra, which is introduced by Jenei in [18], as a possible algebraic semantic for fuzzy type theory, we...

BL-algebra | Hoop-algebra | Hertz-algebra | Equality algebra | Residuated lattice | Boolean-algebra | Heyting-algebra | MTL-algebra | EQ-algebra | MV-algebra | COMPUTER SCIENCE, INFORMATION SYSTEMS | Algebra | Equality | Fuzzy logic | Equivalence | Semantics | Lattices

BL-algebra | Hoop-algebra | Hertz-algebra | Equality algebra | Residuated lattice | Boolean-algebra | Heyting-algebra | MTL-algebra | EQ-algebra | MV-algebra | COMPUTER SCIENCE, INFORMATION SYSTEMS | Algebra | Equality | Fuzzy logic | Equivalence | Semantics | Lattices

Journal Article

Soft Computing, ISSN 1432-7643, 11/2018, Volume 22, Issue 21, pp. 7119 - 7128

Hoop algebras or hoops are naturally ordered commutative residuated integral monoids, introduced by Bosbach (Fundam Math 64:257–287, 1969, Fundam Math 69:1–14,...

Heyting algebra | Node | Kleene algebra | Semi-De Morgan algebra | Hoop | Engineering | Computational Intelligence | Control, Robotics, Mechatronics | Hertz algebra | Hilbert algebra | BCK-algebra | Artificial Intelligence (incl. Robotics) | Nodal filter | Mathematical Logic and Foundations | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Algebra

Heyting algebra | Node | Kleene algebra | Semi-De Morgan algebra | Hoop | Engineering | Computational Intelligence | Control, Robotics, Mechatronics | Hertz algebra | Hilbert algebra | BCK-algebra | Artificial Intelligence (incl. Robotics) | Nodal filter | Mathematical Logic and Foundations | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Algebra

Journal Article

Discrete Mathematics, ISSN 0012-365X, 2003, Volume 263, Issue 1, pp. 11 - 24

In Buşneag (Math. Japonica 44(2) (1996) 285) I defined a pseudo-valuation on a Hilbert algebra ( A,→,1) (cf. (J. Math. 2 (1985) 29; Collection de Logique Math....

Valuation | Hilbert algebra | Hertz algebra | Deductive system | MATHEMATICS | deductive system | valuation

Valuation | Hilbert algebra | Hertz algebra | Deductive system | MATHEMATICS | deductive system | valuation

Journal Article

Bulletin mathématique de la Société des Sciences Mathématiques de Roumanie, ISSN 1220-3874, 1/2010, Volume 53 (101), Issue 2, pp. 87 - 107

The aim of this paper is to study some properties of Hilbert algebras relative to the natural order. Connections between Hilbert algebras with infimum and...

Natural order | Algebra | Mathematical theorems | Implicative logic | Axioms | Mathematical lattices | Mathematics | Heyting algebras | Hilbert calculus | Boolean algebras | Hilbert algebra with supremum | Heyting algebra | Semi-Boolean hilbert algebra | Hilbert algebra with infimum | Hertz algebra | Hilbert algebra | Semi-Boolean lattices | MATHEMATICS | semi-Boolean Hilbert algebra | semi-Boolean lattices

Natural order | Algebra | Mathematical theorems | Implicative logic | Axioms | Mathematical lattices | Mathematics | Heyting algebras | Hilbert calculus | Boolean algebras | Hilbert algebra with supremum | Heyting algebra | Semi-Boolean hilbert algebra | Hilbert algebra with infimum | Hertz algebra | Hilbert algebra | Semi-Boolean lattices | MATHEMATICS | semi-Boolean Hilbert algebra | semi-Boolean lattices

Journal Article

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

The theory of localization and (maximal) algebra of fractions originates in ring theory and was extended by the Romanian school to bounded distributive...

Heyting algebra | R-module | Algebra of fractions | Localization algebra | Bounded distributive lattice | Commutative ring | MV algebra | Pseudo-MV algebra | Łukasiewicz-Moisil algebra | Hertz algebra | Hilbert algebra | Multiplier | BL algebra | Pseudo-BL algebra | multiplier | bounded distributive lattice | pseudo-MV algebra | Lukasiewicz-Moisil algebra | commutative ring | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | pseudo-BL algebra | COMPUTER SCIENCE, THEORY & METHODS | algebra of fractions

Heyting algebra | R-module | Algebra of fractions | Localization algebra | Bounded distributive lattice | Commutative ring | MV algebra | Pseudo-MV algebra | Łukasiewicz-Moisil algebra | Hertz algebra | Hilbert algebra | Multiplier | BL algebra | Pseudo-BL algebra | multiplier | bounded distributive lattice | pseudo-MV algebra | Lukasiewicz-Moisil algebra | commutative ring | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | pseudo-BL algebra | COMPUTER SCIENCE, THEORY & METHODS | algebra of fractions

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 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 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

Central European Journal of Mathematics, ISSN 1895-1074, 2/2010, Volume 8, Issue 1, pp. 41 - 52

This paper represents a start in the study of epimorphisms in some categories of Hilbert algebras. Even if we give a complete characterization for such...

Hertz algebras | Topological Groups, Lie Groups | Probability Theory and Stochastic Processes | Mathematics | Implication algebras | Boole algebras | 18C05 | Hilbert algebras | Geometry | Algebra | 18A20 | Mathematics, general | Tarski algebras | Number Theory | 03G25 | Deductive systems | Epimorphisms | MATHEMATICS

Hertz algebras | Topological Groups, Lie Groups | Probability Theory and Stochastic Processes | Mathematics | Implication algebras | Boole algebras | 18C05 | Hilbert algebras | Geometry | Algebra | 18A20 | Mathematics, general | Tarski algebras | Number Theory | 03G25 | Deductive systems | Epimorphisms | MATHEMATICS

Journal Article

No results were found for your search.

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