Forcing operators on MTL-algebras
From MaRDI portal
Publication:3077402
DOI10.1002/MALQ.200910117zbMATH Open1215.03075OpenAlexW1973305584MaRDI QIDQ3077402FDOQ3077402
George Georgescu, Denisa Diaconescu
Publication date: 22 February 2011
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200910117
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Statistical metric spaces
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Algebraic foundations of many-valued reasoning
- Algebraic Analysis of Many Valued Logics
- Algebraic semantics for modal logics I
- 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
- Residuated lattices. An algebraic glimpse at substructural logics
- Pseudo-t-norms and pseudo-BL algebras
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Kripke‐style semantics for many‐valued logics
- Polyadic MV-Algebras
- Forcing in Łukasiewicz predicate logic
Cited In (1)
This page was built for publication: Forcing operators on MTL-algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3077402)