Location: Frank Adams Room 1, Alan Turing Building,University of Manchester, Manchester
Date: Thursday, 10th December 2009, 16:00 - 17:30
Abstract: Skew lattices are the most studied non commutative analogue of lattices and may be viewed as double bands of idempotents in a semigroup context. The class of skew lattices forms an algebraic category with several interesting properties. They model an algebraic theory in the category of sets where the Green's congruence D is used to define an adjuction to the category of Lattices. In this talk we will give an overview on the algebraic structure of Skew Lattices as well as on the Skew Boolean Propositional Calculus (SBPC), which is a generalization of the Classical Propositional Calculus (CPC) that arises naturally in the study of certain well-known deductive systems. The logic of SBPC is essentially multi-valued and its applicable to computer demonstration