On axiomatization of many-valued logics associated with formalization of plausible reasonings (Q918536)
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 4158603
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On axiomatization of many-valued logics associated with formalization of plausible reasonings |
scientific article; zbMATH DE number 4158603 |
Statements
On axiomatization of many-valued logics associated with formalization of plausible reasonings (English)
0 references
1989
0 references
This paper presents sufficient conditions for the axiomatizability of a class of infinite-valued logics with an arbitrary finite number of types of truth-value. These logics are many-sorted predicate logics with quantifiers over finite sequences of variable length; they are meant to formalize systems of plausible reasoning of, for example, Mill's inductive methods. The logics are defined semantically. To axiomatize them is to construct an axiomatic system which is consistent and complete with respect to their semantic definition.
0 references
axiomatizability of a class of infinite-valued logics
0 references
many-sorted predicate logics with quantifiers over finite sequences of variable length
0 references
plausible reasoning
0 references
Mill's inductive methods
0 references
