Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics

DOI10.1007/S00500-009-0402-8MaRDI QIDQ2380337zbMATH OpenOpenAlexFDO

Authors Francesc Esteva, Lluís Godo, Carles Noguera

Publication date 26 March 2010

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10261/160412

zbMATH Keywords

evaluated formulaeleft-continuous t-normsmathematical fuzzy logicreal and rational completenesst-norm-based logicstruth constants

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)

Review text

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.

Recommendations

• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• On expansions of WNM t-norm based logics with truth-constants
• A note on axiomatizations of Pavelka-style complete fuzzy logics
• On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants

Cites work

• A proof of standard completeness for Esteva and Godo's logic MTL
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• Algebraizable logics
• Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Equational characterization of the subvarieties of BL generated by t-norm algebras
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• Fuzzy logics as the logics of chains
• scientific article; zbMATH DE number 4156411 (Why is no real title available?)
• scientific article; zbMATH DE number 4156412 (Why is no real title available?)
• scientific article; zbMATH DE number 5295430 (Why is no real title available?)
• scientific article; zbMATH DE number 3222967 (Why is no real title available?)
• Mathematics behind fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants
• On Fuzzy Logic I Many‐valued rules of inference
• On Product Logic with Truth-constants
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• On the structure of semi-groups on a compact manifold with boundary
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic

Cited in

(17)

• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
• A note on axiomatizations of Pavelka-style complete fuzzy logics
• Perfect Pavelka logic
• Expanding basic fuzzy logic with truth constants for component delimiters
• Structural completeness in many-valued logics with rational constants
• Lindström theorems in graded model theory
• On expansions of WNM t-norm based logics with truth-constants
• Hyperresolution for Gödel logic with truth constants
• A temporal semantics for nilpotent minimum logic
• First-order nilpotent minimum logics: first steps
• Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
• Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable
• New foundations of reasoning via real-valued first-order logics
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• Fuzzy inequational logic

This page was built for publication: Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2380337)