Strict core fuzzy logics and quasi-witnessed models
DOI10.1007/S00153-011-0237-8zbMATH Open1245.03035OpenAlexW2004896390MaRDI QIDQ634776FDOQ634776
Authors: Marco Cerami, Francesc Esteva 
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
Recommendations
- On witnessed models in fuzzy logic
- On witnessed models in fuzzy logic II
- On witnessed models in fuzzy logic. III: Witnessed Gödel logics
- scientific article; zbMATH DE number 2019828
- On the strict logic foundation of fuzzy reasoning
- Publication:4506208
- Fuzzy logics and fuzzy model theory
- STRONG TRUTH AND RULES OF INFERENCE IN FUZZY LOGIC AND APPROXIMATE REASONING
- scientific article; zbMATH DE number 2203356
- FUZZY LOGICS AND THE GENERALIZED MODUS PONENS REVISITED
first-order logic[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDukasiewicz+logic&go=Go ��ukasiewicz logic]mathematical fuzzy logicstrong completenessinfinite-valued logicproduct logict-norm-based logicwitnessed models
Cites Work
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- A proof of standard completeness for Esteva and Godo's logic MTL
- Title not available (Why is that?)
- Residuated lattices. An algebraic glimpse at substructural logics
- Implicational (semilinear) logics. I: A new hierarchy
- Making fuzzy description logic more general
- On theories and models in fuzzy predicate logics
- On witnessed models in fuzzy logic
- Title not available (Why is that?)
- A complete many-valued logic with product-conjunction
- On witnessed models in fuzzy logic II
- Title not available (Why is that?)
- Provability in predicate product logic
- On the scope of some formulas defining additive connectives in fuzzy logics
Cited In (6)
- On elementary equivalence in fuzzy predicate logics
- On witnessed models in fuzzy logic
- On witnessed models in fuzzy logic II
- On decidability of concept satisfiability in description logic with product semantics
- On the relationship between fuzzy description logics and many-valued modal logics
- On witnessed models in fuzzy logic. III: Witnessed Gödel logics
This page was built for publication: Strict core fuzzy logics and quasi-witnessed models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q634776)
