InternationalConferenceLogic,AlgebraandTruthDegrees.pptVIP

International ConferenceLogic, Algebra and Truth Degrees [LATD2008] ___________________________________________ UNIVERSITA DEGLI STUDI DI SIENA Santa Chiara College 8-11 September 2008, Siena, Italy ___________________________________________ On the logic of approximation problem solving Mircea Sularia Polytechnic University of Bucharest, Faculty of Applied Sciences, Department of Mathematics 2, Romania 1. Symmetric Boolean algebras The notion of symmetric Boolean algebra has been introduced in 1954 by Moisil in connection with the study of electrical circuits with valves. A symmetric Boolean algebra (SB-algebra) is a Boolean algebra equipped with an involutive automorphism. 2. Involutive Boolean algebras Involutive Boolean algebra is a term introduced also by Moisil in connection with its notion of symmetric Boolean algebra. An involutive Boolean algebra (IB-algebra) is a Boolean algebra together with an involutive dual automorphism. 3. SB-algebras and IB-algebras are isomorphic classes Symmetric Boolean algebras and involutive Boolean algebras are isomorphic classes. This fact will be expressed in the sequel. Isomorphism SB ??IB Structures including involutive Boolean algebras – p1 Involutive De Morgan algebras Quasi-topological square lattices Brouwerian D-algebras and Involutive Brouwerian D-algebras (BrD-algebra and IBrD-algebra) Structures including involutive Boolean algebras – p2 Congruences in BrD-algebras An equational definition and connected HBr-pairs Normal filters in IBrD-algebras Structures including involutive Boolean algebras – p3 [Logic-theoretical motivation] Symmetric Kolmogorov logic G?del-Dummett Kolmogorov logic Completeness theorems with respect to IBrD-algebras and Stone-Heyting algebras Abstract of communicationPartially ordered structures including involutive Boolean algebras Connected SHMV-pairs A Stone-Heyting MV-pair (StH_MV,StBr_MV) is called connected if a connection is given. Connection is a