2016-11-02: Phil Scott (University of Ottawa)

Tue, 14 Oct 2025 16:51:42 +0000

Phil Scott (University of Ottawa)

An introduction to many-valued logics and effect algebras

Abstract

The algebras of many-valued Lukasiewicz logics (MV algebras) as well as the theory of quantum measurement (Effect algebras) have undergone considerable development in the 1980s and 1990s; they now constitute important research fields, with connections to several contemporary areas of mathematics, logic, and theoretical computer science.

Both subjects have recently attracted considerable interest among groups of researchers in categorical logic and foundations of quantum computing. I will give a leisurely introduction to MV algebras (and their associated logics), as well as the more general world of effect algebras. If time permits, we will also illustrate some new results (with Mark Lawson, Heriot-Watt) on coordinatization of some concrete MV-algebras using inverse semigroup theory.

2016-11-02 14:00:00 UTC
LT1415