Soft Computing, ISSN 1432-7643, 3/2017, Volume 21, Issue 6, pp. 1443 - 1454

The universal algebraic literature is rife with generalisations of discriminator varieties, whereby several investigators have tried to preserve in more...

Engineering | Computational Intelligence | Discriminator varieties | Control, Robotics, Mechatronics | Central elements | Decomposition operators | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Foundations | UNIVERSAL ALGEBRA | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | EQUATIONAL CHARACTERIZATION | SKEW LATTICES | LOGIC | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Algebra

Engineering | Computational Intelligence | Discriminator varieties | Control, Robotics, Mechatronics | Central elements | Decomposition operators | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Foundations | UNIVERSAL ALGEBRA | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | EQUATIONAL CHARACTERIZATION | SKEW LATTICES | LOGIC | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Algebra

Journal Article

Algebra universalis, ISSN 0002-5240, 9/2019, Volume 80, Issue 3, pp. 1 - 14

We prove that persistently finite algebras are not created by completions of algebras, in any ordered discriminator variety. A persistently finite algebra is...

06B23 | Universal algebra | Discriminator varieties | Boolean algebra with operators | Ordered set | 06A11 | Algebraic logic | Mathematics | Relation algebra | Algebra | Completion | 03G15 | Dense subalgebra | 03C05 | 06A06 | 03C13 | 06E25 | MATHEMATICS | CYLINDRIC ALGEBRAS

06B23 | Universal algebra | Discriminator varieties | Boolean algebra with operators | Ordered set | 06A11 | Algebraic logic | Mathematics | Relation algebra | Algebra | Completion | 03G15 | Dense subalgebra | 03C05 | 06A06 | 03C13 | 06E25 | MATHEMATICS | CYLINDRIC ALGEBRAS

Journal Article

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

This paper is a continuation of the earlier paper by the same authors in which a primary result was that every arithmetical affine complete variety of finite...

08B05 | Algebra | Chinese remainder theorem | Congruence computations | 08B10 | 08A30 | Mathematics | Principal arithmetical varieties | Affine complete varieties | 08A40 | Discriminator | MATHEMATICS

08B05 | Algebra | Chinese remainder theorem | Congruence computations | 08B10 | 08A30 | Mathematics | Principal arithmetical varieties | Affine complete varieties | 08A40 | Discriminator | MATHEMATICS

Journal Article

International Journal of Algebra and Computation, ISSN 0218-1967, 05/2014, Volume 24, Issue 3, pp. 375 - 411

We generalize the notion of discriminator variety in such a way as to capture several varieties of algebras arising mainly from fuzzy logic. After...

Subvarieties lattice | Quasi-subtractive varieties | Discriminator varieties | UNIVERSAL ALGEBRA | MATHEMATICS | EQUATIONAL CHARACTERIZATION | PRODUCTS | quasi-subtractive varieties | LOGIC | IDEALS | JOINS | subvarieties lattice | Fuzzy logic | Algebra | Discriminators | Computation | Lattices

Subvarieties lattice | Quasi-subtractive varieties | Discriminator varieties | UNIVERSAL ALGEBRA | MATHEMATICS | EQUATIONAL CHARACTERIZATION | PRODUCTS | quasi-subtractive varieties | LOGIC | IDEALS | JOINS | subvarieties lattice | Fuzzy logic | Algebra | Discriminators | Computation | Lattices

Journal Article

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

Anyone who has ever worked with a variety $$\varvec{\mathscr {A}}$$ A of algebras with a reduct in the variety of bounded distributive lattices will know a...

Discriminator variety | Ockham algebra | Secondary: 08A40 | Priestley duality | Computational Linguistics | Semi-primal algebra | 06D30 | Primary: 06D50 | Quasi-primal algebra | Cornish algebra | Logic | Philosophy | Mathematical Logic and Foundations | OCKHAM ALGEBRAS | SPACES | LOGIC | MATHEMATICS | PHILOSOPHY | DISTRIBUTIVE LATTICES | HEYTING ALGEBRAS | Algebra

Discriminator variety | Ockham algebra | Secondary: 08A40 | Priestley duality | Computational Linguistics | Semi-primal algebra | 06D30 | Primary: 06D50 | Quasi-primal algebra | Cornish algebra | Logic | Philosophy | Mathematical Logic and Foundations | OCKHAM ALGEBRAS | SPACES | LOGIC | MATHEMATICS | PHILOSOPHY | DISTRIBUTIVE LATTICES | HEYTING ALGEBRAS | Algebra

Journal Article

Journal of the Australian Mathematical Society, ISSN 1446-7887, 04/2017, Volume 102, Issue 2, pp. 290 - 306

Skew Boolean algebras for which pairs of elements have natural meets, called intersections, are studied from a universal algebraic perspective. Their lattice...

(sub)directly irreducible algebras | lattice of (quasi-)varieties | skew Boolean algebras | intersections | discriminator varieties | lattice of (quasi-) varieties | MATHEMATICS | (sub) directly irreducible algebras | LATTICES | STONE DUALITY

(sub)directly irreducible algebras | lattice of (quasi-)varieties | skew Boolean algebras | intersections | discriminator varieties | lattice of (quasi-) varieties | MATHEMATICS | (sub) directly irreducible algebras | LATTICES | STONE DUALITY

Journal Article

7.
Full Text
Projective algebras and primitive subquasivarieties in varieties with factor congruences

Algebra universalis, ISSN 0002-5240, 9/2018, Volume 79, Issue 3, pp. 1 - 21

We prove that in the varieties where every compact congruence is a factor congruence and every nontrivial algebra contains a minimal subalgebra, a finitely...

Discriminator variety | Heyting algebra with involution | 08C15 | Heyting algebra | 03C80 | Monadic Heyting algebra | 08B30 | Mathematics | Algebra | Factor congruence | 03G27 | Primitive quasivariety | Double-Heyting algebra | 03B45 | Heyting algebra with pseudocomplement | MATHEMATICS | DISCRIMINATOR VARIETIES

Discriminator variety | Heyting algebra with involution | 08C15 | Heyting algebra | 03C80 | Monadic Heyting algebra | 08B30 | Mathematics | Algebra | Factor congruence | 03G27 | Primitive quasivariety | Double-Heyting algebra | 03B45 | Heyting algebra with pseudocomplement | MATHEMATICS | DISCRIMINATOR VARIETIES

Journal Article

Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, ISSN 1043-6871, 07/2016, Volume 5-08-, pp. 739 - 748

We propose an algebraization of classical and non-classical logics, based on factor varieties and decomposition operators. In particular, we provide a new...

factor circuit | equational logic | factor variety | multi-valued logic | universal algebra | discriminator variety

factor circuit | equational logic | factor variety | multi-valued logic | universal algebra | discriminator variety

Conference Proceeding

9.
Full Text
A discriminator variety of Gödel algebras with operators arising in quantum computation

Fuzzy Sets and Systems, ISSN 0165-0114, 2009, Volume 160, Issue 8, pp. 1082 - 1098

In order to appropriately model the strong quantum computational logic of Cattaneo et al., we introduce an expansion of ′ quasi-MV algebras by lattice...

Fuzzy logic | Discriminator variety | Quantum logic | Quantum computation | Gödel algebra | MATHEMATICS, APPLIED | DEFINABLE PRINCIPAL CONGRUENCES | SUBTRACTIVE VARIETIES | STATISTICS & PROBABILITY | PART II | IDEALS | VALUED LOGICAL SYSTEMS | COMPUTER SCIENCE, THEORY & METHODS | Godel algebra

Fuzzy logic | Discriminator variety | Quantum logic | Quantum computation | Gödel algebra | MATHEMATICS, APPLIED | DEFINABLE PRINCIPAL CONGRUENCES | SUBTRACTIVE VARIETIES | STATISTICS & PROBABILITY | PART II | IDEALS | VALUED LOGICAL SYSTEMS | COMPUTER SCIENCE, THEORY & METHODS | Godel algebra

Journal Article

Reports on Mathematical Logic, ISSN 0137-2904, 2016, Volume 51, Issue 51, pp. 3 - 14

We prove that a variety of double-Heyting algebras is a discriminator variety if and only if it is semisimple if and only if it has equationally definable...

Logic | Philosophy | MATHEMATICS | double-Heyting algebra | dual pseudocomplement | dually pseudocomplemented Heyting algebra | EDPC | semisimple | discriminator variety | Heyting algebra with dual pseudocomplement | LOGIC | Theorems | Algebra | Congruences | Temporal logic

Logic | Philosophy | MATHEMATICS | double-Heyting algebra | dual pseudocomplement | dually pseudocomplemented Heyting algebra | EDPC | semisimple | discriminator variety | Heyting algebra with dual pseudocomplement | LOGIC | Theorems | Algebra | Congruences | Temporal logic

Journal Article

11.
Full Text
The connection of skew Boolean algebras and discriminator varieties to Church algebras

Algebra universalis, ISSN 0002-5240, 6/2015, Volume 73, Issue 3, pp. 369 - 390

We establish a connection between skew Boolean algebras and Church algebras. We prove that the set of all semicentral elements in a right Church algebra forms...

Algebra | Church algebra | decomposition operator | discriminator variety | factor congruence | Mathematics | Primary: 03G10 | skew Boolean algebra | Secondary: 08B26 | MATHEMATICS | RINGS | LATTICES | STONE DUALITY

Algebra | Church algebra | decomposition operator | discriminator variety | factor congruence | Mathematics | Primary: 03G10 | skew Boolean algebra | Secondary: 08B26 | MATHEMATICS | RINGS | LATTICES | STONE DUALITY

Journal Article

Logic Journal of the IGPL, ISSN 1367-0751, 07/2014, Volume 23, Issue 2, pp. 235 - 246

We study the following problem: determine which almost structurally complete quasivarieties are structurally complete. We propose a general solution to this...

Almost structural completeness | Discriminator varieties | Minimal varieties | Semisimple quasivarieties | Structural completeness | Minimal quasivarieties | MATHEMATICS | minimal quasivarieties | MATHEMATICS, APPLIED | ALGEBRAS | almost structural completeness | discriminator varieties | minimal varieties | semisimple quasivarieties | LOGIC

Almost structural completeness | Discriminator varieties | Minimal varieties | Semisimple quasivarieties | Structural completeness | Minimal quasivarieties | MATHEMATICS | minimal quasivarieties | MATHEMATICS, APPLIED | ALGEBRAS | almost structural completeness | discriminator varieties | minimal varieties | semisimple quasivarieties | LOGIC

Journal Article

Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, 3/2010, Volume 94, Issue 2, pp. 291 - 305

In this paper we pursue the study of the variety $L_n^m $ of m-generalized Łukasiewicz algebras of order n which was initiated in [1]. This variety contains...

Universal algebra | Algebra | Mathematical theorems | Boolean data | Subalgebras | Mathematical lattices | Urelements | Polynomials | Mathematical congruence | Automorphisms | Congruence uniform variety | Discriminator variety | Congruence permutable variety | Filtral variety | m-generalized Łukasiewicz algebra of order n | Łukasiewicz algebra of order n | Finitely generated variety | Congruence regular variety | Congruence coherent variety | Equationally definable principal congruences | congruence regular variety | equationally definable principal congruences | congruence uniform variety | finitely generated variety | discriminator variety | congruence coherent variety | filtral variety | LOGIC | MATHEMATICS | PHILOSOPHY | congruence permutable variety | Lukasiewicz algebra of order n | m-generalized Lukasiewicz algebra of order n

Universal algebra | Algebra | Mathematical theorems | Boolean data | Subalgebras | Mathematical lattices | Urelements | Polynomials | Mathematical congruence | Automorphisms | Congruence uniform variety | Discriminator variety | Congruence permutable variety | Filtral variety | m-generalized Łukasiewicz algebra of order n | Łukasiewicz algebra of order n | Finitely generated variety | Congruence regular variety | Congruence coherent variety | Equationally definable principal congruences | congruence regular variety | equationally definable principal congruences | congruence uniform variety | finitely generated variety | discriminator variety | congruence coherent variety | filtral variety | LOGIC | MATHEMATICS | PHILOSOPHY | congruence permutable variety | Lukasiewicz algebra of order n | m-generalized Lukasiewicz algebra of order n

Journal Article

Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, 6/2011, Volume 98, Issue 1/2, pp. 27 - 81

This paper is a contribution toward developing a theory of expansions of semi-Heyting algebras. It grew out of an attempt to settle a conjecture we had made in...

Universal algebra | Algebra | Mathematical theorems | Lattice theory | Logical theorems | Boolean data | Distributivity | Mathematical lattices | Heyting algebras | Mathematical congruence | subdirectly irreducible | 08B15 | 06D20 | Double semi-Heyting algebra | Computational Linguistics | Blended ∨-De Morgan law | Dually pseudocomplemented semi-Heyting algebra | Blended dually quasi-Stone semi-Heyting algebra | discriminator variety | simple | congruence | directly indecomposable | Blended dually quasi-De Morgan semi-Heyting algebra | Dually hemimorphic semi-Heyting algebra | equational base | Logic | De Morgan semi-Heyting algebra | normal filter | Philosophy | Mathematical Logic and Foundations | Primary: 03G25 | Secondary: 08B26 | 06D15 | LOGIC | DEMORGAN ALGEBRAS | MATHEMATICS | PHILOSOPHY | Blended V-De Morgan law | Algorithms | Universities and colleges

Universal algebra | Algebra | Mathematical theorems | Lattice theory | Logical theorems | Boolean data | Distributivity | Mathematical lattices | Heyting algebras | Mathematical congruence | subdirectly irreducible | 08B15 | 06D20 | Double semi-Heyting algebra | Computational Linguistics | Blended ∨-De Morgan law | Dually pseudocomplemented semi-Heyting algebra | Blended dually quasi-Stone semi-Heyting algebra | discriminator variety | simple | congruence | directly indecomposable | Blended dually quasi-De Morgan semi-Heyting algebra | Dually hemimorphic semi-Heyting algebra | equational base | Logic | De Morgan semi-Heyting algebra | normal filter | Philosophy | Mathematical Logic and Foundations | Primary: 03G25 | Secondary: 08B26 | 06D15 | LOGIC | DEMORGAN ALGEBRAS | MATHEMATICS | PHILOSOPHY | Blended V-De Morgan law | Algorithms | Universities and colleges

Journal Article

Siberian Mathematical Journal, ISSN 0037-4466, 5/2011, Volume 52, Issue 3, pp. 512 - 515

We classify the discriminator varieties of universal algebras, basing on the structure of their conditional geometric scales.

embeddability skeleton of varieties | Mathematics, general | Mathematics | conditional geometric scale | variety of universal algebras | discriminator variety | MATHEMATICS

embeddability skeleton of varieties | Mathematics, general | Mathematics | conditional geometric scale | variety of universal algebras | discriminator variety | MATHEMATICS

Journal Article

Food Chemistry, ISSN 0308-8146, 12/2019, Volume 300, p. 125251

•UPLC-QqQ-MS/MS profiling of 58 phenols in 173 wines, 4 red and 6 white grape varieties.•Many phenols as varietal markers, efficacy of differentiation by SLDA...

Wine | Typicity | Phenolic compounds | Variety | Ultra-performance liquid chromatography | FOOD SCIENCE & TECHNOLOGY | ANTHOCYANINS | TYPICALITY | FLAVONOL PROFILES | WHITE WINES | RED WINES | CABERNET-SAUVIGNON | NUTRITION & DIETETICS | CHEMISTRY, APPLIED | GRAPE VARIETIES

Wine | Typicity | Phenolic compounds | Variety | Ultra-performance liquid chromatography | FOOD SCIENCE & TECHNOLOGY | ANTHOCYANINS | TYPICALITY | FLAVONOL PROFILES | WHITE WINES | RED WINES | CABERNET-SAUVIGNON | NUTRITION & DIETETICS | CHEMISTRY, APPLIED | GRAPE VARIETIES

Journal Article

PORTUGALIAE MATHEMATICA, ISSN 0032-5155, 2010, Volume 67, Issue 4, pp. 485 - 509

Journal Article

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

In this paper, we show that all semisimple varieties of bounded weak-commutative residuated lattices with an S4-like modal operator are discriminator...

Substructural logic | Integers | Algebraic structure | Algebra | Lattice theory | Residuated lattices | Mathematical lattices | Universalism | Mathematical logic | Mathematical congruence | Discriminator variety | Substructural logics | Computational Linguistics | Logic | Philosophy | Mathematical Logic and Foundations | Equational definable principal congruences | MATHEMATICS | DEFINABLE PRINCIPAL CONGRUENCES | PHILOSOPHY | LOGIC

Substructural logic | Integers | Algebraic structure | Algebra | Lattice theory | Residuated lattices | Mathematical lattices | Universalism | Mathematical logic | Mathematical congruence | Discriminator variety | Substructural logics | Computational Linguistics | Logic | Philosophy | Mathematical Logic and Foundations | Equational definable principal congruences | MATHEMATICS | DEFINABLE PRINCIPAL CONGRUENCES | PHILOSOPHY | LOGIC

Journal Article

Algebra universalis, ISSN 0002-5240, 4/2013, Volume 69, Issue 2, pp. 113 - 138

Using Vaggione’s concept of central element in a double-pointed algebra, we introduce the notion of Boolean-like variety as a generalisation of Boolean...

Algebra | double-pointed variety | Primary: 08B25 | Boolean-like algebra | discriminator variety | Mathematics | 08A70 | Secondary: 08B05 | UNIVERSAL ALGEBRA | MATHEMATICS | LAMBDA-CALCULUS | DEFINABLE PRINCIPAL CONGRUENCES | SUBTRACTIVE VARIETIES | IDEALS

Algebra | double-pointed variety | Primary: 08B25 | Boolean-like algebra | discriminator variety | Mathematics | 08A70 | Secondary: 08B05 | UNIVERSAL ALGEBRA | MATHEMATICS | LAMBDA-CALCULUS | DEFINABLE PRINCIPAL CONGRUENCES | SUBTRACTIVE VARIETIES | IDEALS

Journal Article

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

We investigate expansions of Heyting algebras (EHAs) in possession of a unary term describing the filters that correspond to congruences. Hasimoto proved that...

Discriminator variety | Heyting algebra | Boolean algebra with operators | Computational Linguistics | EDPC | Dual pseudocomplement | Heyting algebra with operators | Semisimple | Double-Heyting algebra | Logic | Normal filter | Philosophy | Mathematical Logic and Foundations | DEFINABLE PRINCIPAL CONGRUENCES | VARIETIES | LOGIC | MATHEMATICS | PHILOSOPHY | Algebra

Discriminator variety | Heyting algebra | Boolean algebra with operators | Computational Linguistics | EDPC | Dual pseudocomplement | Heyting algebra with operators | Semisimple | Double-Heyting algebra | Logic | Normal filter | Philosophy | Mathematical Logic and Foundations | DEFINABLE PRINCIPAL CONGRUENCES | VARIETIES | LOGIC | MATHEMATICS | PHILOSOPHY | Algebra

Journal Article

No results were found for your search.

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