Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (Q2380337)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics |
scientific article |
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
