Results 1 to 10 of about 27 (17)
Open Mathematics, 2018 In this paper, we introduce the notion of state maps from a semihoop H1 to another semihoop H2, which is a generalization of internal states (or state operators) on a semihoop H.
Fu Yu Long, Xin Xiao Long, Wang Jun Tao
doaj +4 more sources
Spectra and reticulation of semihoops
Open Mathematics, 2022 In this article, we further study the filter theory of semihoops. Moreover, we use the prime (maximal) filters to construct the prime (maximal) spectrum on semihoops, and prove that the prime spectrum is a compact T0{T}_{0} topological space and that the
Tang Yu Jie, Xin Xiao Long, Zhou Xin
doaj +3 more sources
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops [PDF]
Archive for Mathematical Logic, 2005 IMTL logic was introduced in [12] as a generalization of the infinitely-valued logic of Lukasiewicz, and in [11] it was proved to be the logic of left-continuous t-norms with an involutive negation and their residua.
Esteva F., Gispert J., Noguera C.
core +6 more sources
Module structures and filters on semihoops [PDF]
Journal of Mahani Mathematical ResearchIn this paper, we study modules and filters on semihoops. Firstly, we introduce the definition of modules on semihoops and give some examples to illustrate it. Also, we get some significant results related to modules on semihoops. If the semihoop $G$ can
Hao Chen, Xiao Long Xin
doaj +3 more sources
Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
Journal of Logic and Computation, 2017 This article studies the class of strongly perfect MTL-algebras, i.e. MTL-algebras having an involutive co-radical, and the variety they generate, namely SBP0. Once these structures will be introduced, we will first establish categorical equivalences for
S. Aguzzoli, S. Ugolini, T. Flaminio
core +3 more sources
Split exact sequences of finite MTL-chains [PDF]
, 2021 This paper is devoted to presenting ordinal sums of MTL-chains as a particular case of split short exact sequences of finite chains in the category of semihoops.
Castiglioni, José Luis +1 more
core +1 more source
On finite MTL-algebras that are representable as poset products of archimedean chains [PDF]
, 2020 We obtain a duality between the category of locally unital finite MTL-algebras and the category of finite labeled trees. In addition we prove that certain poset products of MTL-algebras are in fact, sheaves of MTL-chains over Alexandrov spaces.
Castiglioni, José Luis +1 more
core +1 more source
Hyperstates of Involutive MTL-Algebras that Satisfy (2x)^2=2(x^2)
, 2021 States of MV-algebras have been the object of intensive study and attempts of generalizations. The aim of this contribution is to provide a preliminary investigation for states of prelinear semihoops and hyperstates of algebras in the variety generated ...
Stefano Aguzzoli +12 more
core +2 more sources
Algebraization in quasi-Nelson logics [PDF]
, 2023 Quasi-Nelson logic is a recently introduced generalization of Nelson’s constructive logic with strong negation to a non-involutive setting. The present work proposes to study the logic of some fragments of quasi-Nelson logic, namely: pocrims (ℒQNP) and
Lima Neto, Clodomir Silva
core
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics [PDF]
, 2010 This paper focuses on the issue of how generalizations of continuous and left-continuous t-norms over linearly ordered sets should be from a logical point of view.
Carles Noguera +2 more
core