L-valued propositional logic Lvpl

Authors:
Xu Yang;Qin Keyun;Liu Jun;Song Zhenming
Affiliations:
-;-;-;-
Venue:
Information Sciences: an International Journal
Year:
1999

Citing 2
Cited 4

Fuzzy sets in approximate reasoning, part 1: inference with possibility distributions

Fuzzy Sets and Systems - Special memorial volume on foundations of fuzzy reasoning
Many-Valued Logics 2

Many-Valued Logics 2

Fuzzy logic from the viewpoint of machine intelligence

Fuzzy Sets and Systems
Determination of α-resolution in lattice-valued first-order logic LF(X)

Information Sciences: an International Journal
α-Lock resolution method for a lattice-valued first-order logic

Engineering Applications of Artificial Intelligence
A linguistic truth-valued uncertainty reasoning model based on lattice-valued logic

FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part I

Quantified Score

Hi-index	0.07

Visualization

Abstract

In this paper, two types of gradational L-type lattice-valued propositional logic L"v"p"l, with truth values in a lattice implication algebra are introduced and some fundamental questions of them such as semantics, syntax and compactness are investigated, and where the L-type @a-Soundness Theorem, (@a, @b)-Completeness Theorem, (@a, @b)-Consistent Theorem and (@a, @b, @q)-Deduction Theorem are also proved.