Displaying similar documents to “Group representations by automorphisms of a proposition system”