On the failure of standard completeness in MTL for infinite theories

DOI10.1016/J.FSS.2006.11.009zbMATH Open1117.03032OpenAlexW2048297065MaRDI QIDQ876492FDOQ876492

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

Recommendations

• Standard completeness theorem for \(\Pi\)MTL
• Strong standard completeness for continuous t-norms
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Alternative proof of standard completeness theorem for MTL
• The standard completeness of interval-valued monoidal t-norm based logic

zbMATH Keywords

[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDukasiewicz+logic&go=Go ��ukasiewicz logic]product logic\(\Pi\)MTLbasic fuzzy logic (BL)IMTLmonoidal t-norm-based logic (MTL)strong standard completeness

Mathematics Subject Classification ID

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

Cites Work

• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Title not available (Why is that?)
• 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

Cited In (7)

• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Strong non-standard completeness for fuzzy logics
• The standard completeness of interval-valued monoidal t-norm based logic
• Standard completeness theorem for \(\Pi\)MTL
• Incompatible Ω-Complete Theories
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions

This page was built for publication: On the failure of standard completeness in \(\Pi\)MTL for infinite theories

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