On arithmetical complexity of fragments of prominent fuzzy predicate logics (Q2466754): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Metamathematics of fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy logic and arithmetical hierarchy. III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arithmetical complexity of fuzzy predicate logics -- a survey / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Three complexity problems in quantified fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the predicate logics of continuous t-norm BL-algebras / rank | |||
Normal rank |
Latest revision as of 15:21, 27 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On arithmetical complexity of fragments of prominent fuzzy predicate logics |
scientific article |
Statements
On arithmetical complexity of fragments of prominent fuzzy predicate logics (English)
0 references
16 January 2008
0 references
This paper is concerned with the arithmetical complexity of fragments of the predicate versions of five well-known fuzzy logics, namely Łukasiewicz, product, and Gödel logic as well as BL and strict BL. The fragments are given by the restriction to the connectives \(\rightarrow\) and \(\bar 0\). The complexity of the set of standardly/generally satisfiable finite sets of formulas as well as the complexity of the set of standard/general tautologies is determined in each case, and is the same as in the case of the respective whole logic. Furthermore, several results are achieved for the case that the set of t-norms on which the logic is based, is an arbitrary set of continuous t-norms containing the product t-norm. The set of standardly satisfiable finite sets of formulas and the set of standard tautologies of the resulting fragment are both not arithmetical.
0 references
fuzzy predicate logics
0 references
arithmetical complexity
0 references