Non-commutative Quantales for Many-Valuedness in Applications

DOI10.1007/978-3-319-40596-4_37MaRDI QIDQ5115753zbMATH OpenOpenAlexFDO

Authors Jari Kortelainen, Patrik Eklund, Ulrich Höhle

Publication date 18 August 2020

Published in Information Processing and Management of Uncertainty in Knowledge-Based Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-40596-4_37

zbMATH Keywords

assessmentlogicquantale

Mathematics Subject Classification ID

Many-valued logic (03B50) Structure of proofs (03F07)

Recommendations

• A non-commutative and non-idempotent theory of quantale sets
• Non-commutative logical algebras and algebraic quantales
• Non-commutative topology and quantales
• scientific article; zbMATH DE number 5295711
• Quantales and (noncommutative) linear logic
• Noncommutative linear logic and its quantale semantics
• Non-commutative Multiple-Valued Logic Algebras
• scientific article; zbMATH DE number 46487
• Quantale algebras as lattice-valued quantales
• On standard completeness for non-commutative many-valued logics

Cites work

• A survey on the categorical term construction with applications
• Fuzzy terms
• scientific article; zbMATH DE number 426314 (Why is no real title available?)
• scientific article; zbMATH DE number 2000104 (Why is no real title available?)
• scientific article; zbMATH DE number 764336 (Why is no real title available?)
• Prime elements of non-integral quantales and their applications.
• Simple involutive quantales
• Tensor products of complete lattices and their application in constructing quantales
• Topological representation of right-sided and idempotent quantales
• Towards categorical fuzzy logic programming

Cited in

(1)

• scientific article; zbMATH DE number 5295711 (Why is no real title available?)

This page was built for publication: Non-commutative Quantales for Many-Valuedness in Applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5115753)