A unified approximate reasoning theory suitable for both propositional calculus system ℒ* and predicate calculus system κ*

Guojun Wang; K. S. Chin; C. Y. Dang

doi:10.1360/04yf0094

A unified approximate reasoning theory suitable for both propositional calculus system ℒ* and predicate calculus system κ*

Guojun Wang, K. S. Chin, C. Y. Dang

Research output: Journal Publications and Reviews › RGC 22 - Publication in policy or professional journal

9 Citations (Scopus)

Abstract

The concepts of metric R₀-algebra and Hubert cube of type R ₀ are introduced. A unified approximate reasoning theory in propositional caculus system ℒ* and predicate calculus system κ* is established semantically as well as syntactically, and a unified complete theorem is obtained. Copyright by Science in China Press 2005.

Original language	English
Pages (from-to)	1-14
Journal	Science in China, Series F: Information Sciences
Volume	48
Issue number	1
DOIs	https://doi.org/10.1360/04yf0094
Publication status	Published - Feb 2005

Research Keywords

Approximate reasoning
Complete theorem
Hilbert cube of type R0
Metric lindenbaum algebra of type R0
Metric R0-algebra

Access Output

10.1360/04yf0094

Other Access Options

Check CityUHK Library

Permanent Link

Right click to copy link

Cite this

@article{465ff097beb640378e8e0e009eb9d294,

title = "A unified approximate reasoning theory suitable for both propositional calculus system ℒ* and predicate calculus system κ*",

abstract = "The concepts of metric R0-algebra and Hubert cube of type R 0 are introduced. A unified approximate reasoning theory in propositional caculus system ℒ* and predicate calculus system κ* is established semantically as well as syntactically, and a unified complete theorem is obtained. Copyright by Science in China Press 2005.",

keywords = "Approximate reasoning, Complete theorem, Hilbert cube of type R0, Metric lindenbaum algebra of type R0, Metric R0-algebra",

author = "Guojun Wang and Chin, {K. S.} and Dang, {C. Y.}",

year = "2005",

month = feb,

doi = "10.1360/04yf0094",

language = "English",

volume = "48",

pages = "1--14",

journal = "Science in China, Series F: Information Sciences",

issn = "1009-2757",

publisher = "Springer Nature and Science China Press",

number = "1",

}

TY - JOUR

T1 - A unified approximate reasoning theory suitable for both propositional calculus system ℒ* and predicate calculus system κ*

AU - Wang, Guojun

AU - Chin, K. S.

AU - Dang, C. Y.

PY - 2005/2

Y1 - 2005/2

N2 - The concepts of metric R0-algebra and Hubert cube of type R 0 are introduced. A unified approximate reasoning theory in propositional caculus system ℒ* and predicate calculus system κ* is established semantically as well as syntactically, and a unified complete theorem is obtained. Copyright by Science in China Press 2005.

AB - The concepts of metric R0-algebra and Hubert cube of type R 0 are introduced. A unified approximate reasoning theory in propositional caculus system ℒ* and predicate calculus system κ* is established semantically as well as syntactically, and a unified complete theorem is obtained. Copyright by Science in China Press 2005.

KW - Approximate reasoning

KW - Complete theorem

KW - Hilbert cube of type R0

KW - Metric lindenbaum algebra of type R0

KW - Metric R0-algebra

UR - http://www.scopus.com/inward/record.url?scp=33746339930&partnerID=8YFLogxK

UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-33746339930&origin=recordpage

U2 - 10.1360/04yf0094

DO - 10.1360/04yf0094

M3 - RGC 22 - Publication in policy or professional journal

SN - 1009-2757

VL - 48

SP - 1

EP - 14

JO - Science in China, Series F: Information Sciences

JF - Science in China, Series F: Information Sciences

IS - 1

ER -

A unified approximate reasoning theory suitable for both propositional calculus system ℒ* and predicate calculus system κ*

Abstract

Research Keywords

Access Output

Other Access Options

Permanent Link

Other Files and Links

Fingerprint

Cite this