A unified approximate reasoning theory suitable for both propositional calcus system\(\mathcal L^\ast\) and predicate calculus system \(\mathcal K^\ast\)
From MaRDI portal
Publication:866135
DOI10.1360/04yf0094zbMath1182.03057MaRDI QIDQ866135
Wang, Guojun, Chuangyin Dang, 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
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