Quantales

MaRDI QIDQ7361496FDO

Authors Georg Struth

Publication date 11 December 2018

Cites work

• Algebra of monotonic Boolean transformers
• Automated Reasoning in Higher-Order Regular Algebra
• Convolution algebras: relational convolution, generalised modalities and incidence algebras
• From types to sets by local type definitions in higher-order logic
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Kleene algebra with domain
• Minimally generated Boolean algebras
• On Hoare logic and Kleene algebra with tests
• Quantales, observational logic and process semantics

Cited in

(3)

• Modal quantales, involutive quantales, Dedekind Quantales
• Catoids, Categories, Groupoids
• Transformer Semantics

This page was built for software: Quantales