A unified approximate reasoning theory suitable for both propositional calcus system\(\mathcal L^\ast\) and predicate calculus system \(\mathcal K^\ast\)

DOI10.1360/04yf0094zbMath1182.03057MaRDI QIDQ866135

Chuangyin Dang, Wang, Guojun, Kwai Sang Chin

Publication date: 20 February 2007

Published in: Science in China. Series F (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1360/04yf0094

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

68T37: Reasoning under uncertainty in the context of artificial intelligence

Related Items

Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem, Topology on the set of \(R_{0}\) semantics for \(R_{0}\) algebras, Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\), Distinguishing Attack on the Secret-Prefix MAC Based on the 39-Step SHA-256, Second Preimage Attack on 5-Pass HAVAL and Partial Key-Recovery Attack on HMAC/NMAC-5-Pass HAVAL