On the failure of standard completeness in \(\Pi\)MTL for infinite theories

DOI10.1016/j.fss.2006.11.009zbMath1117.03032OpenAlexW2048297065MaRDI QIDQ876492

Rostislav Horčík

Publication date: 18 April 2007

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2006.11.009

zbMATH Keywords

Łukasiewicz logicproduct logic\(\Pi\)MTLbasic fuzzy logic (BL)IMTLmonoidal t-norm-based logic (MTL)strong standard completeness

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50)

Related Items

The standard completeness of interval-valued monoidal t-norm based logic ⋮ Strong non-standard completeness for fuzzy logics ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies

Cites Work

• Unnamed Item
• Metamathematics of 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
• Standard completeness theorem for \(\Pi\)MTL
• Observations on the monoidal t-norm logic