On standard completeness for non-commutative many-valued logics

DOI10.1007/978-3-319-11271-8_14MaRDI QIDQ2829669zbMATH OpenOpenAlexFDO

Authors Denisa Diaconescu

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

zbMATH Keywords

many-valued logicsstandard completeness\(\mathrm{psMTL}^{\mathrm r}\) logicnon-commutative logics

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Standard completeness theorem for \(\Pi\)MTL
• Alternative proof of standard completeness theorem for MTL
• On the failure of standard completeness in 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

• scientific article; zbMATH DE number 5295432 (Why is no real title available?)
• scientific article; zbMATH DE number 1314876 (Why is no real title available?)
• scientific article; zbMATH DE number 1985549 (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
• Alternative proof of standard completeness theorem for MTL
• Fuzzy logics as the logics of chains
• Handbook of mathematical fuzzy logic. Volume 1
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Non-commutative product logic and probability of fuzzy events
• Non-commutative Łukasiewicz propositional logic
• Observations on non-commutative fuzzy logic
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Pseudo-t-norms and pseudo-BL algebras
• Residuated lattices. An algebraic glimpse at substructural logics

Cited in

(6)

• Structural induction in institutions
• A note on standard completeness for some extensions of uninorm logic
• The standard completeness of interval-valued monoidal t-norm based logic
• A proof of standard completeness for Esteva and Godo's logic MTL
• Alternative proof of standard completeness theorem for MTL
• Non-commutative Quantales for Many-Valuedness in Applications

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)