On Standard Completeness for Non-commutative Many-Valued Logics

DOI10.1007/978-3-319-11271-8_14zbMATH Open1351.03017OpenAlexW121200123MaRDI QIDQ2829669FDOQ2829669

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Pseudo-t-norms and pseudo-BL algebras
• Fuzzy logics as the logics of chains
• Non-commutative Łukasiewicz propositional logic
• A complete many-valued logic with product-conjunction
• Alternative proof of standard completeness theorem for MTL
• Non-commutative Product Logic and Probability of Fuzzy Events

Cited In (3)

• Structural induction in institutions
• A proof of standard completeness for Esteva and Godo's logic 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)