scientific article; zbMATH DE number 1508253

DOI<link itemprop=identifier href="https://doi.org/10.1002/(SICI)1098-111X(200006)15:6<477::AID-INT1>3.0.CO;2-B" /><477::AID-INT1>3.0.CO;2-B 10.1002/(SICI)1098-111X(200006)15:6<477::AID-INT1>3.0.CO;2-BzbMath0964.03027MaRDI QIDQ4506251

Don H. Faust

Publication date: 15 January 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

evidenceconfirmatory and refutatory predicatesevidence gradation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• Representation of vague information
• The concept of negation
• The Boolean algebra of formulas of first-order logic
• Boolean sentence algebras: Isomorphism constructions
• Continuous Model Theory. (AM-58)

This page was built for publication: