Standard completeness theorem for \(\Pi\)MTL

DOI10.1007/s00153-004-0254-yzbMath1071.03013OpenAlexW2100783870MaRDI QIDQ1778060

Rostislav Horčík

Publication date: 26 May 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-004-0254-y

zbMATH Keywords

product logicfuzzy logic in narrow senseleft-continuous t-normMTL-logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Many-valued logic (03B50)

Related Items

Densification of FL chains via residuated frames ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Alternative proof of standard completeness theorem for MTL ⋮ T-norm-based logics with an independent involutive negation ⋮ On the failure of standard completeness in \(\Pi\)MTL for infinite theories ⋮ Product logic and probabilistic Ulam games ⋮ Density revisited ⋮ The standard completeness of interval-valued monoidal t-norm based logic ⋮ Rotation logics ⋮ Formal systems of fuzzy logic and their fragments ⋮ Strong non-standard completeness for fuzzy logics ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ Triangular norm based predicate fuzzy logics ⋮ Uniform proofs of standard completeness for extensions of first-order MTL ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Ordered groups with a conucleus

Cites Work

• Unnamed Item
• Unnamed Item
• 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
• Observations on the monoidal t-norm logic