Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (Q2380337)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics |
scientific article; zbMATH DE number 5686888
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics |
scientific article; zbMATH DE number 5686888 |
Statements
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (English)
0 references
26 March 2010
0 references
The paper analyzes the completeness properties of rational semantics for expansions of logics of a left-continuous t-norm with truth-constants. Some of the main known results in the field are presented in the Introduction and in the first part of Section~2. The completeness properties when restricting the deductions to evaluated formulae are studied in Subsection 2.3. The main results of the paper refer to the rational completeness properties for different logics, and two cases are analyzed: arbitrary formulae and positive evaluated formulae; the last case is studied in order to improve the negative results got for arbitrary formulae.
0 references
mathematical fuzzy logic
0 references
left-continuous t-norms
0 references
t-norm-based logics
0 references
truth constants
0 references
evaluated formulae
0 references
real and rational completeness
0 references
0 references
0 references
0 references
0 references
0 references
0.866101861000061
0 references
0.8570559024810791
0 references
0.839948832988739
0 references
0.8214871287345886
0 references
