No label defined (Q4360106)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1076962
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1076962 |
Statements
17 May 1998
0 references
many-valued logics
0 references
proof theory
0 references
deduction
0 references
computer systems
0 references
coding theory
0 references
formal verification
0 references
natural language representation
0 references
databases
0 references
knowledge representation
0 references
fuzzy control
0 references
expert systems
0 references
0.8141657114028931
0 references
0.8125486969947815
0 references
This article presents a short survey of papers which appeared in the 90s and focuses on many-valued logics (MVL). The paper is organized as follows. Section 1 presents a short introduction. Section 2 contains a classification of MVLs according to their intended application, to the cardinality of their truth-value set (unordered, partially ordered, ordered, totally ordered), to connectives and quantifiers and so on. Section 3 presents proof theory of MVL: Hilbert-style calculi, sequents, tableaux, resolution, decision diagrams. Section 4 discusses types of the deduction problem. Section 5 treats complexity of deduction in MVL. Section 6 contains a description of some computer systems: Multilog, \({_3\text{Tap}}\), Deep Thought, Milord, MDDs. Section 7 presents some applications of MVL deduction: coding theory, formal verification, natural language representation, databases and knowledge representation, fuzzy control, expert systems.
0 references
