Results 61 to 70 of about 367 (102)
Filters of strong Sheffer stroke non-associative MV-algebras
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2021 In this paper, at first we study strong Sheffer stroke NMV-algebra. For getting more results and some classification, the notions of filters and subalgebras are introduced and studied.
Oner Tahsin +3 more
doaj +1 more source
A general framework for product representations: bilattices and beyond
, 2015 This paper studies algebras arising as algebraic semantics for logics used to model reasoning with incomplete or inconsistent information. In particular we study, in a uniform way, varieties of bilattices equipped with additional logic-related operations
Cabrer, L. M., Priestley, H. A.
core +1 more source
New topology in residuated lattices
Open Mathematics, 2018 In this paper, by using the notion of upsets in residuated lattices and defining the operator Da(X), for an upset X of a residuated lattice L we construct a new topology denoted by τa and (L, τa) becomes a topological space.
Holdon L.C.
doaj +1 more source
Weakly Ordered A-Commutative Partial Groups of Linear Operators Densely Defined on Hilbert Space [PDF]
, 2017 The notion of a generalized effect algebra is presented as a generalization of effect algebra for an algebraic description of the structure of the set of all positive linear operators densely defined on a Hilbert space with the usual sum of operators ...
Janda , Jirí
core
Finite Distributive Concept Algebras [PDF]
, 2018 Concept algebras are concept lattices enriched by a weak negation and a weak opposition. In Ganter and Kwuida (Contrib. Gen. Algebra, 14:63-72, 2004) we gave a contextual description of the lattice of weak negations on a finite lattice.
Ganter, Bernhard, Kwuida, Léonard
core
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria MatematicaIn this paper, we introduce residuated n-lattice: a variety of residuated semigroup equipped with binary hyperoperations n-sup and n-inf. We define the left bound, right bound, n-supremum, n-infimum, maximum and minimum with respect to it′s relation.
Zahiri Saeide, Saeid Arsham Borumand
doaj +1 more source
An Injective Pseudo-BCI Algebra is Trivial
Discussiones Mathematicae - General Algebra and Applications, 2019 Injective pseudo-BCI algebras are studied. There is shown that the only injective pseudo-BCI algebra is the trivial one.
Dymek Grzegorz
doaj +1 more source
Generalized state maps and states on pseudo equality algebras
Open Mathematics, 2018 In this paper, we attempt to cope with states in a universal algebraic setting, that is, introduce a notion of generalized state map from a pseudo equality algebra X to an arbitrary pseudo equality algebra Y.
Cheng Xiao Yun +2 more
doaj +1 more source
Lattice of closure endomorphisms of a Hilbert algebra
, 2017 A closure endomorphism of a Hilbert algebra A is a mapping that is simultaneously an endomorphism of and a closure operator on A. It is known that the set CE of all closure endomorphisms of A is a distributive lattice where the meet of two elements is ...
Cīrulis, Jānis
core
A C-system defined by a universe category [PDF]
, 2015 This is a major update of the previous version. The methods of the paper are now fully constructive and the style is "formalization ready" with the emphasis on the possibility of formalization both in type theory and in constructive set theory without ...
Voevodsky, Vladimir
core