Results 171 to 180 of about 74,540 (198)

Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic

2011
This paper presents a parameterized reasoning approach with uncertainty based on a lattice-valued logic system. In this uncertain reasoning approach, some parameters are used to represent uncertainty arising from different sources, which is a common phenomenon in rule-based systems.
Chen, S.W., Liu, Jun, Wang, Hui, Augusto, Juan Carlos   +3 more
openaire   +2 more sources

Valuation sets in lattice-valued propositional logic LP(X)

The 12th IEEE International Conference on Fuzzy Systems, 2003. FUZZ '03., 2004
In this paper, model theory properties of lattice-valued propositional logic LP(X) are studied. We allows to transfer the results of classical model theory to those of LP(X) in a natural way. First, valuation sets of L-fuzzy subsets of formulae and formulae in LP(X) are defined and their properties are discussed.
Xuefang Wang, Ming Qing
openaire   +2 more sources

Models for Lattice-Valued First-Order Logic LF(X)

2008 Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008
In this paper, we focus on models for lattice-valued first-order logic LF(X). First, we present some basic notions, operations on models, and basic relations among models, such as isomorphisms, submodels and extensions, etc. Then we discuss their properties and the truth values of formulas under these models. Finally, we give elementary chain theorem.
Xue-fang Wang, Pei-shun Liu
openaire   +1 more source

Lattice-valued possibility measures on the basis of multimodal logic

Proceedings of the 36th SICE Annual Conference. International Session Papers, 2002
Although the consideration of L-fuzzy sets shows that the membership values may not be limited to the unit interval, such an extension of the possibility measure has not been studied. The aim of the present paper is to show that an extension to lattice-valued possibility measures is possible, and moreover the extension is done by applying multimodal ...
openaire   +2 more sources

Lattice-Valued Truth Degree in Łukasiewicz Propositional Fuzzy Logic

2010
The study of formula truth degree based on the grading idea has been a hot topic in some common logic systems, such as classical twovalued propositional logic, many-valued propositional logic, predicate logic, fuzzy propositional logic and model logic. So far, almost all definitions of truth degree are given on the unit interval [0, 1] whose structures
Dong-xiao Zhang, Dong-xiao Zhang
openaire   +2 more sources

Fuzzifying groups based on complete residuated lattice-valued logic

Information Sciences, 1993
Abstract Since Rosenfeld proposed the concept of a fuzzy subgroup in 1971, there has been considerable development of fuzzy algebra. In this paper, we introduce the concept of fuzzifying groups based on complete residuated lattice-valued logic and investigate some of their algebraic properties.
openaire   +2 more sources

Lattice-Valued Logic

2003
Yang Xu, Da Ruan, Keyun Qin, Jun Liu
openaire   +2 more sources

The connexion between Reichenbach's three-valued and v. Neumann's lattice-theoretical quantum logic

, 1981
Andreas Kamlah
openalex   +1 more source

A RESOLUTION METHOD ON LATTICE-VALUED TENSE PROPOSITIONAL LOGIC

Applied Computational Intelligence, 2004
Wenjiang Li, Yang Xu
openaire   +2 more sources

The Structure of the Lattice of Clones in Multiple-Valued Logic

, 2000
元 町田
openalex   +1 more source