A unified approximate reasoning theory suitable for both propositional calcus system L^ and predicate calculus system K^

DOI10.1360/04YF0094MaRDI QIDQ866135zbMATH OpenOpenAlexFDO

Authors Chuangyin Dang, Guojun Wang, 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

Fuzzy logic; logic of vagueness (03B52) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Approximate reasoning in several logic systems
• Integrated semantics and logic metric spaces
• Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\)
• Quantitative logic. I.
• scientific article; zbMATH DE number 4080967

Cited in

(6)

• 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
• scientific article; zbMATH DE number 2219786 (Why is no real title available?)

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\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q866135)