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

zbMATH Open0645.03018MaRDI QIDQ1102939FDOQ1102939

Authors: Peter H. Schmitt 

Publication date: 1987

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

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

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)

Cited In (12)

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

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)