Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
type: Item
instance of: scholarly article
title: Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
zbMATH Open document ID: 0645.03018
published in: Informatik. Forschung und Entwicklung
publication date: 1987-01-01T00:00:00Z
review text: This work investigates 3-valued logic and motivates its applications in expert systems and natural language processing. A clause-oriented resolution calculus for 3-valued logic is presented, and results about functional completeness are proven.
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 4051573
zbMATH Keywords: 3-valued logic
zbMATH Keywords: expert systems
zbMATH Keywords: natural language processing
zbMATH Keywords: clause- oriented resolution calculus
zbMATH Keywords: functional completeness
author: Peter H. Schmitt
MaRDI profile type: Publication
Recommended article: Three-Valued Logics for Incomplete Information and Epistemic Logic
Recommended article: Q3675557
Recommended article: Partial and paraconsistent three-valued logics
Recommended article: Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
Recommended article: A modal theorem-preserving translation of a class of three-valued logics of incomplete information
Recommended article: Q4440793
Recommended article: Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks
Recommended article: Foreword: Three-valued logics and their applications
Recommended article: Q4542600
Recommended article: Three-Valued Paraconsistent Propositional Logics
description: scientific article; zbMATH DE number 4051573