Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminars LFCS seminar: Philip Scott: An introduction to many-valued logics and effect algebras

LFCS seminar: Philip Scott: An introduction to many-valued logics and effect algebras

— filed under: ,

What
  • LFCS Seminar
  • Upcoming events
When Oct 18, 2016
from 04:00 PM to 05:00 PM
Where IF 4.31/4.33
Add event to calendar vCal
iCal

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.

 

Document Actions