Strict core fuzzy logics and quasi-witnessed models

DOI10.1007/s00153-011-0237-8zbMath1245.03035MaRDI QIDQ634776

Francesc Esteva, Marco Cerami

Publication date: 16 August 2011

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

Full work available at URL: https://doi.org/10.1007/s00153-011-0237-8

zbMATH Keywords

first-order logic; infinite-valued logic; Łukasiewicz logic; product logic; mathematical fuzzy logic; strong completeness; t-norm-based logic; witnessed models

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B50: Many-valued logic

Related Items

On the relationship between fuzzy description logics and many-valued modal logics, On elementary equivalence in fuzzy predicate logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Provability in predicate product logic
• Implicational (semilinear) logics. I: A new hierarchy
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• 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
• A complete many-valued logic with product-conjunction
• Making fuzzy description logic more general
• On the scope of some formulas defining additive connectives in fuzzy logics
• On theories and models in fuzzy predicate logics
• On witnessed models in fuzzy logic
• On witnessed models in fuzzy logic II