Strict core fuzzy logics and quasi-witnessed models

DOI10.1007/S00153-011-0237-8MaRDI QIDQ634776zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1526147 (Why is no real title available?)
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• A complete many-valued logic with product-conjunction
• A proof of standard completeness for Esteva and Godo's logic MTL
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Implicational (semilinear) logics. I: A new hierarchy
• Making fuzzy description logic more general
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• 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
• Provability in predicate product logic
• Residuated lattices. An algebraic glimpse at substructural logics

Cited in

(6)

• On the relationship between fuzzy description logics and many-valued modal logics
• On witnessed models in fuzzy logic II
• On witnessed models in fuzzy logic. III: Witnessed Gödel logics
• On decidability of concept satisfiability in description logic with product semantics
• On elementary equivalence in fuzzy predicate logics
• On witnessed models in fuzzy logic

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)