Strict core fuzzy logics and quasi-witnessed models

DOI10.1007/s00153-011-0237-8zbMath1245.03035OpenAlexW2004896390MaRDI 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 logicinfinite-valued logicŁukasiewicz logicproduct logicmathematical fuzzy logicstrong completenesst-norm-based logicwitnessed models

Mathematics Subject Classification ID

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

Related Items (3)

On elementary equivalence in fuzzy predicate logics ⋮ On decidability of concept satisfiability in description logic with product semantics ⋮ On the relationship between fuzzy description logics and many-valued modal 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

This page was built for publication: Strict core fuzzy logics and quasi-witnessed models