Results 51 to 60 of about 347 (90)
Molecules and linearly ordered ideals of MV-algebras [PDF]
, 1997 We show that an ideal $I$ of an $MV$-algebra $A$ is linearly ordered if and only if every non-zero element of $I$ is a molecule. The set of molecules of $A$ is contained in $\operatorname{Inf}(A)\cup B_2(A)$ where $B_2(A)$ is the set of all elements $x ...
Hoo, C. S.
core +2 more sources
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
, 2006 A characterization of an $h$-hemiregular hemiring in terms of a fuzzy $h$-ideal is provided. Some properties of prime fuzzy $h$-ideals of $h$-hemiregular hemirings are investigated.
Aho +22 more
core +2 more sources
Generalized Rough Sets Applied to BCK/BCI-Algebras
Discussiones Mathematicae - General Algebra and Applications, 2021 The concept of a (strong) set-valued BCK/BCI-morphism in BCK/BCI-algebras is considered, and several properties are investigated. Conditions for a set-valued mapping to be a set-valued BCK/BCI-morphism are given.
Jun Young Bae +2 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
C-system of a module over a monad on sets [PDF]
, 2014 This is the second paper in a series that aims to provide mathematical descriptions of objects and constructions related to the first few steps of the semantical theory of dependent type systems. We construct for any pair $(R,LM)$, where $R$ is a monad
Voevodsky, Vladimir
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
, 2013 The half-open real unit interval (0,1] is closed under the ordinary multiplication and its residuum. The corresponding infinite-valued propositional logic has as its equivalent algebraic semantics the equational class of cancellative hoops.
Panti, Giovanni, Ravotti, Davide
core +1 more source
Some decompositions of filters in residuated lattices
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019 In this paper we introduce a new class of residuated lattice: residuated lattice with (C∧&→) property and we prove that (C∧&→) ⇔ (C→) + (C∧).Also, we introduce and characterize C→, C∨, C∧ and C∧ & → filters in residuated lattices (i.e., we characterize ...
Piciu Dana +2 more
doaj +1 more source
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