On standard completeness for non-commutative many-valued logics
From MaRDI portal
Publication:2829669
DOI10.1007/978-3-319-11271-8_14zbMATH Open1351.03017OpenAlexW121200123MaRDI QIDQ2829669FDOQ2829669
Publication date: 8 November 2016
Published in: Studies in Computational Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-11271-8_14
Recommendations
- Standard completeness theorem for \(\Pi\)MTL
- Alternative proof of standard completeness theorem for MTL
- On the failure of standard completeness in \(\Pi\)MTL for infinite theories
- The standard completeness of interval-valued monoidal t-norm based logic
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
Cites Work
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Observations on non-commutative fuzzy logic
- A proof of standard completeness for Esteva and Godo's logic MTL
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Residuated lattices. An algebraic glimpse at substructural logics
- Handbook of mathematical fuzzy logic. Volume 1
- Title not available (Why is that?)
- Pseudo-t-norms and pseudo-BL algebras
- Title not available (Why is that?)
- Fuzzy logics as the logics of chains
- Non-commutative Łukasiewicz propositional logic
- A complete many-valued logic with product-conjunction
- Title not available (Why is that?)
- Alternative proof of standard completeness theorem for MTL
- Non-commutative Product Logic and Probability of Fuzzy Events
Cited In (4)
This page was built for publication: On standard completeness for non-commutative many-valued logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2829669)
