Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)

MaRDI QIDQ1102939zbMATH OpenFDO

Authors Peter H. Schmitt

Publication date 1987

Published in Informatik. Forschung und Entwicklung (Search for Journal in Brave)

zbMATH Keywords

functional completenessnatural language processingexpert systems3-valued logicclause- oriented resolution calculus

Mathematics Subject Classification ID

Artificial intelligence (68T99) Many-valued logic (03B50) Mechanization of proofs and logical operations (03B35)

Recommendations

• Three-valued logics for incomplete information and epistemic logic
• scientific article; zbMATH DE number 3896341
• Partial and paraconsistent three-valued logics
• Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
• A modal theorem-preserving translation of a class of three-valued logics of incomplete information
• scientific article; zbMATH DE number 2020144
• Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks
• Foreword: three-valued logics and their applications
• scientific article; zbMATH DE number 1775473
• Three-valued paraconsistent propositional logics

Cited in

(12)

• Legality concepts for three-valued logic programs
• R-Calculus, III: Post Three-Valued Logic
• On constructing intellectual systems in ternary logic
• Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks
• scientific article; zbMATH DE number 3249767 (Why is no real title available?)
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
• Foreword: three-valued logics and their applications
• scientific article; zbMATH DE number 4049622 (Why is no real title available?)
• A three-valued approach to default logic
• scientific article; zbMATH DE number 3928968 (Why is no real title available?)
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
• scientific article; zbMATH DE number 3896341 (Why is no real title available?)

This page was built for publication: Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)

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