Integrated semantics and logic metric spaces

Authors:
Guo-Jun Wang;Yee Leung
Affiliations:
Institute of mathematics, Shaanxi Normal University, Xi'an 710062, People's Republic of China;Department of Geography and Resource Management, Centre for Environmental Policy and Resource Management, and Joint Laboratory for Geo-Information Science, The Chinese University of Hong Kong, Sha ...
Venue:
Fuzzy Sets and Systems - Logic and algebra
Year:
2003

Citing 4
Cited 18

Expert systems: knowledge, uncertainty, and decision

Expert systems: knowledge, uncertainty, and decision
Fuzzy sets in approximate reasoning, part 1: inference with possibility distributions

Fuzzy Sets and Systems - Special memorial volume on foundations of fuzzy reasoning
A logic for approximate reasoning

Journal of Symbolic Logic
On the logic foundation of fuzzy reasoning

Information Sciences: an International Journal

An intrinsic fuzzy set on the universe of discourse of predicate formulas

Fuzzy Sets and Systems
Residuated lattices and lattice effect algebras

Fuzzy Sets and Systems
Some properties of the roots of theories in propositional logic systems

Computers & Mathematics with Applications
The R0-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens

Computers & Mathematics with Applications
Equivalence Knowledge Mass and Approximate Reasoning in $\mathcal{R}$---Logic $\mathbb{C}_\mathcal{R}$ (I)

ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Artificial Intelligence
Quantitative logic

Information Sciences: an International Journal
Unified forms of Triple I method

Computers & Mathematics with Applications
A new theory consistency index based on deduction theorems in several logic systems

Fuzzy Sets and Systems
Consistency degrees of theories in some systems of propositional fuzzy logic

Fuzzy Sets and Systems
The generalized truth degree of quantitative logic in the logic system L*n (n-valued NM-logic system)

Computers & Mathematics with Applications
Consistency degrees of theories in łukasiewicz fuzzy and n-valued propositional logic systems

Applied Computational Intelligence and Soft Computing
Type II topological logic CT2 and approximate reasoning

FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part I
Type-I topological logic Ci1 and approximate reasoning

FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part I
Hierarchical structure and applications of fuzzy logical systems

International Journal of Approximate Reasoning
Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices

Archive for Mathematical Logic
Generalized Bosbach states: Part II

Archive for Mathematical Logic
Truth degree analysis of fuzzy reasoning

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Approximation reasoning models based on random variables sequence

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The concept of tautology degree of an abstract proposition is proposed in this paper by means of integral of the corresponding function with respect to certain semantics over [0,1]. Then a pseudo-metric among abstract propositions is introduced and the R -logic metric space is proposed where R is a suitable implication operator. Finally, a new theoretical framework for approximate reasoning in the R -logic metric space is provided.