Strict core fuzzy logics and quasi-witnessed models
From MaRDI portal
Publication:634776
DOI10.1007/s00153-011-0237-8zbMath1245.03035OpenAlexW2004896390MaRDI QIDQ634776
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
first-order logicinfinite-valued logicŁukasiewicz logicproduct logicmathematical fuzzy logicstrong completenesst-norm-based logicwitnessed models
Related Items
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