Results 21 to 30 of about 204 (74)
Many-Valued Institutions for Constraint Specification [PDF]
, 2016 We advance a general technique for enriching logical systems with soft constraints, making them suitable for specifying complex software systems where parts are put together not just based on how they meet certain functional requirements but also on how ...
BC Pierce +23 more
core +2 more sources
Pavelka-style completeness in expansions of \L ukasiewicz logic [PDF]
, 2008 An algebraic setting for the validity of Pavelka style completeness for some natural expansions of \L ukasiewicz logic by new connectives and rational constants is given.
Freytes, Hector
core +1 more source
Advances in the theory of μŁΠ algebras [PDF]
, 2016 Recently an expansion of ŁΠ1/2 logic with fixed points has been considered [23]. In the present work we study the algebraic semantics of this logic, namely μŁΠ algebras, from algebraic, model theoretic and computational standpoints.
Marchioni, Enrico, Spada, Luca
core +1 more source
Quantifier elimination and other model-theoretic properties of BL-algebras [PDF]
, 2016 This work presents a model-theoretic approach to the study of firstorder theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras whose firstorder theory has quantifier ...
Cortonesi, Tommaso +2 more
core +1 more source
, 2023 We introduce and characterize various gluing constructions for residuated lattices that intersect on a common subreduct, and which are subalgebras, or appropriate subreducts, of the resulting structure. Starting from the 1-sum construction (also known as
Galatos, Nick, Ugolini, Sara
core +1 more source
A T-partial order obtained from T-norms [PDF]
, 2011 summary:A partial order on a bounded lattice $L$ is called t-order if it is defined by means of the t-norm on $L$. It is obtained that for a t-norm on a bounded lattice $L$ the relation $a\preceq_{T}b$ iff $a=T(x,b)$ for some $x\in L$ is a partial order.
Karaçal, Funda, Kesicioğlu, M. Nesibe
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
Fuzzy decision implications: interpretation within fuzzy decision context
CAAI Transactions on Intelligence Technology, Volume 4, Issue 4, Page 231-236, December 2019., 2019 Fuzzy decision implication is an extension of decision implication in the fuzzy setting, serving to uncover the dependencies of fuzzy attributes. This study presents the interpretation of fuzzy decision implication in the fuzzy decision context. Specially, they will show that from fuzzy decision contexts one can obtain a closed fuzzy set of fuzzy ...
Jing Zhang, Yanhui Zhai, Deyu Li
wiley +1 more source
A common framework for lattice-valued uniform spaces and probabilistic uniform limit spaces [PDF]
, 2008 We study a category of lattice-valued uniform convergence spaces where the lattice is enriched by two algebraic operations. This general setting allows us to view the category of lattice-valued uniform spaces as a reflective subcategory of our category ...
Craig, Andrew, Jäger, Gunter
core +2 more sources
An investigation on the $n$-fold IVRL-filters in triangle algebras [PDF]
, 2020 summary:The present study aimed to introduce $n$-fold interval valued residuated lattice (IVRL for short) filters in triangle algebras. Initially, the notions of $n$-fold (positive) implicative IVRL-extended filters and $n$-fold (positive) implicative ...
Borumand Saeid, Arsham, Zahiri, Saeide
core +1 more source