Results 1 to 10 of about 108 (66)

On eGE-Algebras

Discussiones Mathematicae - General Algebra and Applications, 2021
A new algebraic structure was introduced, called an eGE-algebra, which is a generalisation of a GE-algebra and investigated its properties. We explore the definition of filters and the quotient algebra associated with such filters.
Bandaru R.K., Rafi N., Rezaei A.
doaj   +1 more source

Characterization of Almost Semi-Heyting Algebra

Discussiones Mathematicae - General Algebra and Applications, 2020
In this paper, we initiate the discourse on the properties that hold in an almost semi-Heyting algebra but not in an semi-Heyting almost distributive lattice.
Srikanth V.V.V.S.S.P.S., Ratnamani M.V., Ramesh S.   +2 more
doaj   +1 more source

Dualities and dual pairs in Heyting algebras [PDF]

, 2010
We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial) categories.Comment: 17 pages; v2: minor ...
A. Pultr, C. Tardif, J. Foniok, J. Ne, Set Ril   +4 more
core   +4 more sources

A Heyting Algebra on Dyck Paths of Type $A$ and $B$ [PDF]

, 2016
In this article we investigate the lattices of Dyck paths of type $A$ and $B$ under dominance order, and explicitly describe their Heyting algebra structure.
Mühle, Henri
core   +1 more source

Relation Between Be-Algebras and G-Hilbert Algebras

Discussiones Mathematicae - General Algebra and Applications, 2018
Hilbert algebras are important tools for certain investigations in algebraic logic since they can be considered as fragments of any propositional logic containing a logical connective implication and the constant 1 which is considered as the logical ...
Rezaei Akbar, Saeid Arsham Borumand
doaj   +1 more source

Singly generated quasivarieties and residuated structures [PDF]

, 2019
A quasivariety K of algebras has the joint embedding property (JEP) iff it is generated by a single algebra A. It is structurally complete iff the free countably generated algebra in K can serve as A.
Anderson A. R., Bergman C., Chang C. C., Citkin A. I., Citkin A. I., Dywan Z., Esakia L. L., Esakia L. L., Galatos N., Gorbunov V. A., Jónsson B., Kuznetsov A. V., Magari R., Maltsev A. I., Maltsev A. I., Maltsev A. I., Minari P., Pogorzelski W. A., Pogorzelski W. A., Prucnal T., Rybakov V. V., Wroński A., Wroński A., Wroński A., Łoś J., Łoś J.   +25 more
core   +2 more sources

Nuclear ranges in implicative semilattices [PDF]

, 2022
A nucleus on a meet-semilattice A is a closure operation that preserves binary meets. The nuclei form a semilattice N A that is isomorphic to the system NA of all nuclear ranges, ordered by dual inclusion.
Erné, Marcel
core   +2 more sources

Discussões e tendências referentes às salas de recurso multifuncional tipo 1 no Brasil : uma análise das dissertações sobre o ensino de matemática [PDF]

, 2023
Orientador: Prof. Dr. Denis Rogério Sanches AlvesDissertação (mestrado) - Universidade Federal do Paraná, Setor Palotina, Programa de Pós-Graduação em Educação em Ciências, Educação Matemática e Tecnologias Educativas. Defesa : Palotina, 13/09/2023Inclui
Pierasso, Josiane Cotrin
core  

Weihrauch goes Brouwerian

, 2020
We prove that the Weihrauch lattice can be transformed into a Brouwer algebra by the consecutive application of two closure operators in the appropriate order: first completion and then parallelization. The closure operator of completion is a new closure
Brattka, Vasco, Gherardi, Guido
core   +1 more source

BCI/BCK- quantum algebra [PDF]

, 2021
The paper contains an investigation of the notion of BCI-algebras and BCK-algebras. The concept of quantale was created in 1984 to develop a framework for non-commutative spaces and quantum mechanics with a view toward non-commutative logic ...
Tabuni, Muna
core   +1 more source