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

mathematical fuzzy logicleft-continuous t-normstruth constantst-norm-based logicsevaluated formulaereal and rational completeness

Mathematics Subject Classification ID

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

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

• 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?)
• 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
• Mathematics behind fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On Fuzzy Logic I Many‐valued rules of inference
• On Product Logic with Truth-constants
• On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded 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

(15)

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

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)