Event

Shael Brown, McGill

Tuesday, November 13, 2018 14:30to15:30
Burnside Hall Room 920, 805 rue Sherbrooke Ouest, Montreal, QC, H3A 0B9, CA

The Decidability of Continuous Quantitative Equational Logic

Quantitative Equational Logic, or "QEL" for short, is a proof system which extends Birkhoff's equational logic. QEL is used to reason about quantitative algebras, and was shown to be complete for the defined semantics. While classical equational logic is known to be undecidable, I will give a sketch of the proof that all of the "other" content of QEL is decidable.

Follow us on

Back to top