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.03057OpenAlexW2036966583MaRDI 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
Fuzzy logic; logic of vagueness (03B52) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items (5)
Topology on the set of \(R_{0}\) semantics for \(R_{0}\) algebras ⋮ Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem ⋮ 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
This page was built for publication: A unified approximate reasoning theory suitable for both propositional calcus system\(\mathcal L^\ast\) and predicate calculus system \(\mathcal K^\ast\)
