Matches in SemOpenAlex for { <https://semopenalex.org/work/W2164360492> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2164360492 abstract "We investigate the automorphism group of finite Godel 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 Godel logic over n propositional variables, for any integer n >= 1." @default.
- W2164360492 created "2016-06-24" @default.
- W2164360492 creator A5008489057 @default.
- W2164360492 creator A5011161376 @default.
- W2164360492 creator A5039757989 @default.
- W2164360492 date "2010-01-01" @default.
- W2164360492 modified "2023-09-27" @default.
- W2164360492 title "The Automorphism Group of Finite Godel Algebras" @default.
- W2164360492 cites W1543877612 @default.
- W2164360492 cites W1970249071 @default.
- W2164360492 cites W2022150134 @default.
- W2164360492 cites W2026315522 @default.
- W2164360492 cites W2036826699 @default.
- W2164360492 cites W2042637159 @default.
- W2164360492 cites W2153765600 @default.
- W2164360492 doi "https://doi.org/10.1109/ismvl.2010.13" @default.
- W2164360492 hasPublicationYear "2010" @default.
- W2164360492 type Work @default.
- W2164360492 sameAs 2164360492 @default.
- W2164360492 citedByCount "3" @default.
- W2164360492 countsByYear W21643604922016 @default.
- W2164360492 countsByYear W21643604922020 @default.
- W2164360492 countsByYear W21643604922022 @default.
- W2164360492 crossrefType "proceedings-article" @default.
- W2164360492 hasAuthorship W2164360492A5008489057 @default.
- W2164360492 hasAuthorship W2164360492A5011161376 @default.
- W2164360492 hasAuthorship W2164360492A5039757989 @default.
- W2164360492 hasConcept C118615104 @default.
- W2164360492 hasConcept C118712358 @default.
- W2164360492 hasConcept C124101348 @default.
- W2164360492 hasConcept C124453015 @default.
- W2164360492 hasConcept C136119220 @default.
- W2164360492 hasConcept C178790620 @default.
- W2164360492 hasConcept C185592680 @default.
- W2164360492 hasConcept C202444582 @default.
- W2164360492 hasConcept C2780069185 @default.
- W2164360492 hasConcept C2781311116 @default.
- W2164360492 hasConcept C2988750069 @default.
- W2164360492 hasConcept C33923547 @default.
- W2164360492 hasConcept C41008148 @default.
- W2164360492 hasConcept C69562738 @default.
- W2164360492 hasConcept C75066664 @default.
- W2164360492 hasConcept C87117476 @default.
- W2164360492 hasConceptScore W2164360492C118615104 @default.
- W2164360492 hasConceptScore W2164360492C118712358 @default.
- W2164360492 hasConceptScore W2164360492C124101348 @default.
- W2164360492 hasConceptScore W2164360492C124453015 @default.
- W2164360492 hasConceptScore W2164360492C136119220 @default.
- W2164360492 hasConceptScore W2164360492C178790620 @default.
- W2164360492 hasConceptScore W2164360492C185592680 @default.
- W2164360492 hasConceptScore W2164360492C202444582 @default.
- W2164360492 hasConceptScore W2164360492C2780069185 @default.
- W2164360492 hasConceptScore W2164360492C2781311116 @default.
- W2164360492 hasConceptScore W2164360492C2988750069 @default.
- W2164360492 hasConceptScore W2164360492C33923547 @default.
- W2164360492 hasConceptScore W2164360492C41008148 @default.
- W2164360492 hasConceptScore W2164360492C69562738 @default.
- W2164360492 hasConceptScore W2164360492C75066664 @default.
- W2164360492 hasConceptScore W2164360492C87117476 @default.
- W2164360492 hasLocation W21643604921 @default.
- W2164360492 hasOpenAccess W2164360492 @default.
- W2164360492 hasPrimaryLocation W21643604921 @default.
- W2164360492 hasRelatedWork W1486639223 @default.
- W2164360492 hasRelatedWork W1620366888 @default.
- W2164360492 hasRelatedWork W1970294481 @default.
- W2164360492 hasRelatedWork W1982777781 @default.
- W2164360492 hasRelatedWork W1992234386 @default.
- W2164360492 hasRelatedWork W2008624433 @default.
- W2164360492 hasRelatedWork W2022554132 @default.
- W2164360492 hasRelatedWork W2023793207 @default.
- W2164360492 hasRelatedWork W2033032644 @default.
- W2164360492 hasRelatedWork W2034881471 @default.
- W2164360492 hasRelatedWork W2051531869 @default.
- W2164360492 hasRelatedWork W2063072330 @default.
- W2164360492 hasRelatedWork W2092335410 @default.
- W2164360492 hasRelatedWork W2171532310 @default.
- W2164360492 hasRelatedWork W2321951810 @default.
- W2164360492 hasRelatedWork W2441976789 @default.
- W2164360492 hasRelatedWork W2583091187 @default.
- W2164360492 hasRelatedWork W2808257774 @default.
- W2164360492 hasRelatedWork W2946908180 @default.
- W2164360492 hasRelatedWork W2289946635 @default.
- W2164360492 isParatext "false" @default.
- W2164360492 isRetracted "false" @default.
- W2164360492 magId "2164360492" @default.
- W2164360492 workType "article" @default.