This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2010 40th IEEE International Symposium on Multiple-Valued Logic
The Automorphism Group of Finite Godel Algebras
Barcelona, Spain
May 26-May 28
ISBN: 978-0-7695-4024-5
We investigate the automorphism group of finite Gödel algebras, the algebraic counterpart of Godel infinite-valued propositional logic with a finite number of variables. In logical terms, we look at the structure of substitution of terms that preserve logical equivalence in this logic. We obtain a characterisation of the arising automorphism groups in terms of semidirect and direct products of symmetric groups. Building on this, we establish an explicit closed formula for the cardinality of the automorphism group of the Lindenbaum algebra of Gödel logic over n propositional variables, for any integer n >= 1.
Index Terms:
Godel logic, Godel algebra, Automorphism group
Citation:
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra, "The Automorphism Group of Finite Godel Algebras," ismvl, pp.21-26, 2010 40th IEEE International Symposium on Multiple-Valued Logic, 2010
Usage of this product signifies your acceptance of the Terms of Use.