Automorphism Groups of Small (3,3)-homogeneous Logics

Abstract

We prove that (3,3)-homogeneous logics with 15 or 17 atoms are unique and for 16 atoms such logic does not exist. We also describe the automorphism groups for such logics and construct (3,3)-homogeneos logics (with 19 atoms) with either commutative automorphism group or with unique automorphism. © 2010 Springer Science+Business Media, LLC.