|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| 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
| ASCII Text | x | ||
| Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra, "The Automorphism Group of Finite Godel Algebras," Multiple-Valued Logic, IEEE International Symposium on, pp. 21-26, 2010 40th IEEE International Symposium on Multiple-Valued Logic, 2010. | |||
| BibTex | x | ||
| @article{ 10.1109/ISMVL.2010.13, author = {Stefano Aguzzoli and Brunella Gerla and Vincenzo Marra}, title = {The Automorphism Group of Finite Godel Algebras}, journal ={Multiple-Valued Logic, IEEE International Symposium on}, volume = {0}, year = {2010}, issn = {0195-623X}, pages = {21-26}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2010.13}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Multiple-Valued Logic, IEEE International Symposium on TI - The Automorphism Group of Finite Godel Algebras SN - 0195-623X SP21 EP26 A1 - Stefano Aguzzoli, A1 - Brunella Gerla, A1 - Vincenzo Marra, PY - 2010 KW - Godel logic KW - Godel algebra KW - Automorphism group VL - 0 JA - Multiple-Valued Logic, IEEE International Symposium on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2010.13
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.
