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

DOI10.1007/s00500-009-0402-8zbMath1194.03022MaRDI QIDQ2380337

Lluís Godo, Francesc Esteva, 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

mathematical fuzzy logic; left-continuous t-norms; truth constants; t-norm-based logics; evaluated formulae; real and rational completeness

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

68T27: Logic in artificial intelligence

Related Items

Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable, Fuzzy inequational logic, First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties, 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, 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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of semi-groups on a compact manifold with boundary
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• Mathematics behind fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Equational characterization of the subvarieties of BL generated by t-norm algebras
• Fuzzy logics as the logics of chains
• Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
• Algebraizable logics
• On Fuzzy Logic I Many‐valued rules of inference
• On Product Logic with Truth-constants