English
Related papers

Related papers: Riesz Logic

200 papers

The concept of a fuzzy number is generalized to the case of a finite carrier set of partially ordered elements, more precisely, a lattice, when a membership function also takes values in a partially ordered set (a lattice). Zadeh's…

Artificial Intelligence · Computer Science 2022-08-15 Dmitry Maximov

In this paper, we give some properties of fuzzy Riesz homomorphism on fuzzy Riesz space. We give definitions of fuzzy quotient spaces, and some characterizations of fuzzy Archimedean quotient spaces. We prove the properties which fuzzy…

General Mathematics · Mathematics 2021-04-16 N. Cheng , G. G. Chen

We introduce two-dimensional logics based on \L{}ukasiewicz and G\"{o}del logics to formalize paraconsistent fuzzy reasoning. The logics are interpreted on matrices, where the common underlying structure is the bi-lattice (twisted) product…

Logic · Mathematics 2022-05-31 Marta Bílková , Sabine Frittella , Daniil Kozhemiachenko

We study sheaves in the context of a duality theory for lattice structure endowed with extra operations, and in the context of forcing in a topos. Using Sheaf duality theory of Comer for cylindric algebras, we give a representation theorem…

Logic · Mathematics 2018-11-06 Trek Sayed Ahmed

The natural join and the inner union combine in different ways tables of a relational database. Tropashko [18] observed that these two operations are the meet and join in a class of lattices-called the relational lattices- and proposed…

Logic in Computer Science · Computer Science 2016-02-29 Luigi Santocanale

One of the ultimate goals for linguists is to find universal properties in human languages. Although words are generally considered as representing arbitrary mapping between linguistic forms and meanings, we propose a new universal law that…

Computation and Language · Computer Science 2020-05-06 Li-Min Wang , Sun-Ting Tsai , Shan-Jyun Wu , Meng-Xue Tsai , Daw-Wei Wang , Yi-Ching Su , Tzay-Ming Hong

Natural language understanding applications such as interactive planning and face-to-face translation require extensive inferencing. Many of these inferences are based on the meaning of particular open class words. Providing a…

cmp-lg · Computer Science 2008-02-03 Marc Light , Lenhart Schubert

Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their parts. Meanings are often assumed to combine…

cmp-lg · Computer Science 2008-02-03 Mary Dalrymple , John Lamping , Fernando Pereira , Vijay Saraswat

Fuzzy reasoning is a very productive research field that during the last years has provided a number of theoretical approaches and practical implementation prototypes. Nevertheless, the classical implementations, like Fril, are not adapted…

Programming Languages · Computer Science 2009-03-13 Victor Pablos Ceruelo , Susana Munoz-Hernandez , Hannes Strass

In this study we follow a new framework for the theory that offers us, other than traditional, a new angle to observe and investigate some relations between finite sets, F-lattice L and their elements. The theory is based on the Fuzzy…

General Mathematics · Mathematics 2018-02-14 H. Keleş

Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough…

We generalise the distribution semantics underpinning probabilistic logic programming by distilling its essential concept, the separation of a free random component and a deterministic part. This abstracts the core ideas beyond logic…

Artificial Intelligence · Computer Science 2024-05-17 Felix Weitkämper

We introduce a two-sort weighted modal logic for possibilistic reasoning with fuzzy formal contexts. The syntax of the logic includes two types of weighted modal operators corresponding to classical necessity ($\Box$) and sufficiency…

Logic in Computer Science · Computer Science 2026-01-01 Prosenjit Howlader , Churn-Jung Liau

For a rank two root system and a pair of nonnegative integers, using only elementary combinatorics we construct two posets. The constructions are uniform across the root systems A1+A1, A2, C2, and G2. Examples appear in Figures 3.2 and 3.3.…

We introduce a relational semantics based on poset products, and provide sufficient conditions guaranteeing its soundness and completeness for various substructural logics. We also demonstrate that our relational semantics unifies and…

Logic · Mathematics 2023-07-24 Wesley Fussner

With the rapid advancement of large language models (LLMs), natural language processing (NLP) has achieved remarkable progress. Nonetheless, significant challenges remain in handling texts with ambiguity, polysemy, or uncertainty. We…

Computation and Language · Computer Science 2025-09-29 Ping Chen , Xiang Liu , Zhaoxiang Liu , Zezhou Chen , Xingpeng Zhang , Huan Hu , Zipeng Wang , Kai Wang , Shuming Shi , Shiguo Lian

We study \L ukasiewicz logic enriched with a scalar multiplication with scalars taken in $[0,1]$. Its algebraic models, called {\em Riesz MV-algebras}, are, up to isomorphism, unit intervals of Riesz spaces with a strong unit endowed with…

Logic · Mathematics 2017-09-26 Antonio Di Nola , Serafina Lapenta , Ioana Leustean

Fuzzy ordered linear spaces, Riesz spaces, fuzzy Archimedean spaces and $\sigma$-complete fuzzy Riesz spaces were defined and studied in several works. Following the efforts along this line, we define fuzzy Riesz subspaces, fuzzy ideals,…

Functional Analysis · Mathematics 2015-03-11 Liang Hong

In the domain of Computing with words (CW), fuzzy linguistic approaches are known to be relevant in many decision-making problems. Indeed, they allow us to model the human reasoning in replacing words, assessments, preferences, choices,…

Artificial Intelligence · Computer Science 2013-04-23 Mohammed-Amine Abchir , Isis Truck

Most fuzzy systems including fuzzy decision support and fuzzy control systems provide out-puts in the form of fuzzy sets that represent the inferred conclusions. Linguistic interpretation of such outputs often involves the use of linguistic…

Artificial Intelligence · Computer Science 2013-01-30 Ryszard Kowalczyk