Results 41 to 50 of about 74,358 (176)

Gődel filters in residuated lattices

open access: yesAnalele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2021
In this paper, in the spirit of [4], we study a new type of filters in residuated lattices : Gődel filters. So, we characterize the filters for which the quotient algebra that is constructed via these filters is a Gődel algebra and we establish the ...
Piciu Dana   +2 more
doaj   +1 more source

On State Ideals and State Relative Annihilators in De Morgan State Residuated Lattices

open access: yesInternational Journal of Mathematics and Mathematical Sciences, Volume 2022, Issue 1, 2022., 2022
The concept of state has been considered in commutative and noncommutative logical systems, and their properties are at the center for the development of an algebraic investigation of probabilistic models for those algebras. This article mainly focuses on the study of the lattice of state ideals in De Morgan state residuated lattices (DMSRLs).
Francis Woumfo   +4 more
wiley   +1 more source

Commutative idempotent residuated lattices [PDF]

open access: yes, 2007
summary:We investigate the variety of residuated lattices with a commutative and idempotent monoid ...
Rachůnek, J.   +5 more
core   +1 more source

n-Normal residuated lattices [PDF]

open access: yesSoft Computing, 2019
The notion of $n$-normal residuated lattice, as a class of residuated lattices in which every prime filter contains at most $n$ minimal prime filters, is introduced and studied. Before that, the notion of $ω$-filter is introduced and it is observed that the set of $ω$-filters in a residuated lattice forms a distributive lattice on its own, which ...
Saeed Rasouli, Michiro Kondo
openaire   +4 more sources

Remarks on an algebraic semantics for paraconsistent Nelson's logic

open access: yesManuscrito, 2011
In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic.
Manuela Busaniche, Roberto Cignoli
doaj   +1 more source

Fuzzy Prime Ideal Theorem in Residuated Lattices

open access: yesInternational Journal of Mathematics and Mathematical Sciences, 2021
This paper mainly focuses on building the fuzzy prime ideal theorem of residuated lattices. Firstly, we introduce the notion of fuzzy ideal generated by a fuzzy subset of a residuated lattice and we give a characterization.
Pierre Carole Kengne   +2 more
doaj   +1 more source

Residuated skew lattices with modal operator

open access: yesAnalele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2023
In this paper, we define modal operators in residuated skew lattices and prove some fundamental properties of monotone modal operators on residuated skew lattices (RSL). We prove that the composition of two modal operators is a modal operator if and only
Koohnavard Roghayeh   +1 more
doaj   +1 more source

Mp- and purified residuated lattices

open access: yesSoft Computing, 2022
Abstract In this paper, a combination of algebraic and topological methods is applied to obtain new and structural results on mp and purified residuated lattices. It is demonstrated that mp-residuated lattices strongly tied up with the dual hull-kernel topology.
Saeed Rasouli, Amin Dehghani
openaire   +1 more source

Untyping Typed Algebras and Colouring Cyclic Linear Logic [PDF]

open access: yesLogical Methods in Computer Science, 2012
We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the underlying untyped equations.
Damien Pous
doaj   +1 more source

Archimedean Residuated Lattices

open access: yesAnnals of the Alexandru Ioan Cuza University - Mathematics, 2010
Summary: For a residuated lattice \(A\) we denote by \(D_s(A)\) the lattice of all deductive systems (congruence filters) of \(A\). The aim of this paper is to put in evidence new characterizations for maximal and prime elements of \(D_s(A)\) and to characterize Archimedean and hyperarchimedean residuated lattices; so we prove some theorems of Nachbin ...
Buşneag, Dumitru   +2 more
openaire   +1 more source

Home - About - Disclaimer - Privacy