Paper Info
Title
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
Abstract
In this paper we consider the expansions of logics of a left-continuous t-norm with truth-constants from a subalgebra of the rational unit interval. From known results on standard semantics, we study completeness for these propositional logics with respect to chains defined over the rational unit interval with a special attention to the completeness with respect to the canonical chain, i.e. the algebra over $$[0,1] \\cap {{\\mathbb{Q}}}$$ where each truth-constant is interpreted in its corresponding rational truth-value. Finally, we study rational completeness results when we restrict ourselves to deductions between the so-called evaluated formulae.
Year
DOI
Venue
2010
10.1007/s00500-009-0402-8
Soft Comput.
Keywords
Field
DocType
Mathematical fuzzy logic,Left-continuous t-norms,T-norm based logics,Truth-constants,Evaluated formulae,Real and rational completeness
Subalgebra,Discrete mathematics,T-norm fuzzy logics,Propositional calculus,Unit interval,Monoidal t-norm logic,Classical logic,Completeness (statistics),Mathematics,Propositional variable
Journal
Volume
Issue
ISSN
14
3
1432-7643
Citations 
PageRank 
References 
16
0.87
17
Authors
3
Name
Order
Citations
PageRank
Francesc Esteva11885200.14
Lluís Godo288856.28
Carles Noguera346233.93