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

Algebra universalis, ISSN 0002-5240, 6/2018, Volume 79, Issue 2, pp. 1 - 31

For L a complete lattice L and $$\mathfrak {X}=(X,(R_i)_I)$$ X=(X,(Ri)I) a relational structure, we introduce the convolution algebra $$L^{\mathfrak {X}}$$ LX...

Relation algebra | 06D20 | Complex algebra | Heyting algebra | Algebra | Boolean algebra with operators | Convolution | Kripke frame | Type-2 truth value algebra | Mathematics | 03B45 | 03G10 | MATHEMATICS

Relation algebra | 06D20 | Complex algebra | Heyting algebra | Algebra | Boolean algebra with operators | Convolution | Kripke frame | Type-2 truth value algebra | Mathematics | 03B45 | 03G10 | MATHEMATICS

Journal Article

Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, 12/2012, Volume 100, Issue 6, pp. 1201 - 1209

A new structure, called equality algebras, will be introduced. It has two connectives, a meet operation and an equivalence, and a constant. A closure operator...

Equivalence relation | Substructural logic | Algebra | Mathematical theorems | Axioms | Residuated lattices | Equivalential logic | Heyting algebras | Heyting algebra | Computational Linguistics | Term equivalence | Equivalential algebra | Closure operator | BCK-algebra with meet | Equational characterization | Logic | Equivalential fragment | Philosophy | Mathematical Logic and Foundations | MATHEMATICS | PHILOSOPHY | LOGIC

Equivalence relation | Substructural logic | Algebra | Mathematical theorems | Axioms | Residuated lattices | Equivalential logic | Heyting algebras | Heyting algebra | Computational Linguistics | Term equivalence | Equivalential algebra | Closure operator | BCK-algebra with meet | Equational characterization | Logic | Equivalential fragment | Philosophy | Mathematical Logic and Foundations | MATHEMATICS | PHILOSOPHY | LOGIC

Journal Article

Advances in Intelligent Systems and Computing, ISSN 2194-5357, 2018, Volume 641, pp. 25 - 33

Conference Proceeding

Fuzzy Sets and Systems, ISSN 0165-0114, 03/2017, Volume 311, pp. 86 - 98

In this paper, the notion of a prefilter generated by a nonempty subset of an EQ-algebra is introduced and a characterization of it is obtained. It is proved...

EQ-algebra | Heyting algebra | Boolean algebra | MATHEMATICS, APPLIED | FILTERS | STATISTICS & PROBABILITY | COMPUTER SCIENCE, THEORY & METHODS | Algebra

EQ-algebra | Heyting algebra | Boolean algebra | MATHEMATICS, APPLIED | FILTERS | STATISTICS & PROBABILITY | COMPUTER SCIENCE, THEORY & METHODS | Algebra

Journal Article

Mathematica Slovaca, ISSN 0139-9918, 02/2019, Volume 69, Issue 1, pp. 15 - 34

In this paper, we investigate the variety of regular double -algebras and its subvarieties , ≥ 1, of range . First, we present an explicit description of the...

08B15 | equational basis | 06D50 | Priestley duality | discriminator variety | algebra | simple algebra | subdirectly irreducible algebra | regular double | lattice of subvarieties | double Heyting algebra | Secondary 08B26 | Primary 06D15 | 03G25 | 03G10 | regular double p-algebra | MATHEMATICS | SPACES | HEYTING ALGEBRAS | EQUATIONAL CLASSES | Algebra

08B15 | equational basis | 06D50 | Priestley duality | discriminator variety | algebra | simple algebra | subdirectly irreducible algebra | regular double | lattice of subvarieties | double Heyting algebra | Secondary 08B26 | Primary 06D15 | 03G25 | 03G10 | regular double p-algebra | MATHEMATICS | SPACES | HEYTING ALGEBRAS | EQUATIONAL CLASSES | Algebra

Journal Article

Order, ISSN 0167-8094, 3/2018, Volume 35, Issue 1, pp. 23 - 45

Generalizing the well known and exploited relation between Heyting and Nelson algebras to semi-Heyting algebras, we introduce the variety of semi-Nelson...

Geometry | Twist structures | Nelson algebras | Semi-Heyting algebras | Semi-Nelson algebras | Mathematics | Number Theory | Heyting algebras | MATHEMATICS | VARIETIES | Algebra

Geometry | Twist structures | Nelson algebras | Semi-Heyting algebras | Semi-Nelson algebras | Mathematics | Number Theory | Heyting algebras | MATHEMATICS | VARIETIES | Algebra

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

Studia Logica, ISSN 0039-3215, 8/2017, Volume 105, Issue 4, pp. 673 - 701

The IKt-algebras that we investigate in this paper were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the...

Tense operators | Computational Linguistics | Heyting algebras | Logic | IKt-algebras | Philosophy | Mathematical Logic and Foundations | MATHEMATICS | DISCRETE DUALITY | AXIOMATIZATION | PHILOSOPHY | REPRESENTATION | INTUITIONISTIC TENSE | OPERATORS | LOGIC | Algebra

Tense operators | Computational Linguistics | Heyting algebras | Logic | IKt-algebras | Philosophy | Mathematical Logic and Foundations | MATHEMATICS | DISCRETE DUALITY | AXIOMATIZATION | PHILOSOPHY | REPRESENTATION | INTUITIONISTIC TENSE | OPERATORS | LOGIC | Algebra

Journal Article

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

Order, ISSN 0167-8094, 2013, Volume 30, Issue 2, pp. 625 - 642

In this paper we investigate those subvarieties of the variety of semi-Heyting algebras which are term-equivalent to the variety of Godel algebras (linear...

Heyting algebra | Term-equivalent varieties | Linear Heyting algebra | Semi-Heyting algebra | MATHEMATICS | Algebra

Heyting algebra | Term-equivalent varieties | Linear Heyting algebra | Semi-Heyting algebra | MATHEMATICS | Algebra

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

Bulletin of the Section of Logic, ISSN 0138-0680, 2018, Volume 47, Issue 2, pp. 129 - 139

Journal Article

Algebra universalis, ISSN 0002-5240, 11/2016, Volume 76, Issue 3, pp. 301 - 304

We prove that the topology of a compact Hausdorff topological Heyting algebra is a Stone topology. It then follows from known results that a Heyting algebra is...

topological Heyting algebra | Mathematics | Algebra | Primary: 06D20 | Secondary: 06B30 | profinite Heyting algebra | MATHEMATICS

topological Heyting algebra | Mathematics | Algebra | Primary: 06D20 | Secondary: 06B30 | profinite Heyting algebra | MATHEMATICS

Journal Article

Ars Mathematica Contemporanea, ISSN 1855-3966, 2017, Volume 12, Issue 1, pp. 37 - 50

In the present paper we generalize the notion of a Heyting algebra to the non-commutative setting and hence introduce what we believe to be the proper notion...

Non-commutative algebra | Intuitionistic logic | Heyting algebras | Skew lattices | MATHEMATICS | MATHEMATICS, APPLIED | non-commutative algebra | intuitionistic logic | LATTICES | BOOLEAN-ALGEBRAS | STONE DUALITY

Non-commutative algebra | Intuitionistic logic | Heyting algebras | Skew lattices | MATHEMATICS | MATHEMATICS, APPLIED | non-commutative algebra | intuitionistic logic | LATTICES | BOOLEAN-ALGEBRAS | STONE DUALITY

Journal Article

Algebra universalis, ISSN 0002-5240, 4/2017, Volume 77, Issue 2, pp. 147 - 161

Characterizations of compact Hausdorff topological MV-algebras, Stone MV-algebras, and MV-algebras that are isomorphic to their profinite completions are...

Secondary: 06E15 | strongly complete MV-algebra | Algebra | 06D50 | rank of maximal ideal | profinite completion | Mathematics | Primary: 06D35 | ultrafilter | topological/Stone/profinite MV-algebra | Stone Čech compactification | MATHEMATICS | LATTICES | PROFINITE HEYTING ALGEBRAS

Secondary: 06E15 | strongly complete MV-algebra | Algebra | 06D50 | rank of maximal ideal | profinite completion | Mathematics | Primary: 06D35 | ultrafilter | topological/Stone/profinite MV-algebra | Stone Čech compactification | MATHEMATICS | LATTICES | PROFINITE HEYTING ALGEBRAS

Journal Article

Algebra universalis, ISSN 0002-5240, 12/2018, Volume 79, Issue 4, pp. 1 - 11

A near-Heyting algebra is a join-semilattice with a top element such that every principal upset is a Heyting algebra. We establish a one-to-one correspondence...

08B26 | 06A12 | 06D20 | Algebra | Congruences | 06B10 | Mathematics | Near-Heyting algebra | Distributive nearlattice | Principal congruences | MATHEMATICS | DUALITY | DISTRIBUTIVE NEARLATTICES

08B26 | 06A12 | 06D20 | Algebra | Congruences | 06B10 | Mathematics | Near-Heyting algebra | Distributive nearlattice | Principal congruences | MATHEMATICS | DUALITY | DISTRIBUTIVE NEARLATTICES

Journal Article

Filomat, ISSN 0354-5180, 2018, Volume 32, Issue 2, pp. 619 - 633

Considering a complete Heyting algebra H, we introduce a notion of stratified H-convergence semigroup. We develop some basic facts on the subject, besides...

Complete Heyting algebra | Maximal subgroup | E-connected space | Right group | Semigroup | Simple semigroup | Idempotent element | H-convergence space | H-Hausdorff-separated space | closed set | Probabilistic convergence space | Stratified H-quasi-uniform convergence space | Stratified H-quasi-uniform space | H-compact space | Ideals | Approach convergence space | idempotent element | APPROACH SPACES | MATHEMATICS, APPLIED | stratified H-quasi-uniform space | ideals | stratified H-quasi-uniform convergence space | simple semigroup | maximal subgroup | MATHEMATICS | probabilistic convergence space | right group | approach convergence space | semigroup | T-closed set

Complete Heyting algebra | Maximal subgroup | E-connected space | Right group | Semigroup | Simple semigroup | Idempotent element | H-convergence space | H-Hausdorff-separated space | closed set | Probabilistic convergence space | Stratified H-quasi-uniform convergence space | Stratified H-quasi-uniform space | H-compact space | Ideals | Approach convergence space | idempotent element | APPROACH SPACES | MATHEMATICS, APPLIED | stratified H-quasi-uniform space | ideals | stratified H-quasi-uniform convergence space | simple semigroup | maximal subgroup | MATHEMATICS | probabilistic convergence space | right group | approach convergence space | semigroup | T-closed set

Journal Article

International Journal of Theoretical Physics, ISSN 0020-7748, 10/2014, Volume 53, Issue 10, pp. 3409 - 3422

Heyting effect algebras are lattice-ordered pseudoboolean effect algebras endowed with a pseudocomplementation that maps on the center (i.e. Boolean elements)....

Deduction-detachment theorem | Heyting algebra | Pseudoboolean effect algebra | Decidability | Heyting-Wajsberg algebra | Strong completeness | Theoretical, Mathematical and Computational Physics | Quantum Physics | Physics | Heyting effect algebra | Elementary Particles, Quantum Field Theory | MV-algebra | Lattice-ordered effect algebra | Effect algebra | Physics, general | Stonean MV-algebra | PHYSICS, MULTIDISCIPLINARY | FUZZY | SETS | SYSTEMS | Algebra

Deduction-detachment theorem | Heyting algebra | Pseudoboolean effect algebra | Decidability | Heyting-Wajsberg algebra | Strong completeness | Theoretical, Mathematical and Computational Physics | Quantum Physics | Physics | Heyting effect algebra | Elementary Particles, Quantum Field Theory | MV-algebra | Lattice-ordered effect algebra | Effect algebra | Physics, general | Stonean MV-algebra | PHYSICS, MULTIDISCIPLINARY | FUZZY | SETS | SYSTEMS | Algebra

Journal Article

No results were found for your search.

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