Data de publicação: Oct 24, 2012 2:41:36 PM
Joao Pita Costa: Skew Boolean logic.
Date: Thursday, 10th December 2009, 16:00 - 17:30
Logic Seminar,
MIMS, University of Manchester, UK.
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
URL:
Keywords: Noncommutative lattice, Skew lattice, Symmetry, Strong symmetry, Cancellation, Coset, Index
The author thanks the support of Fundação para a Ciéncia e Tecnologia with the reference SFRH/BD/36694/2007.