Finitely Presented MV-algebras with Finite Automorphism Group

DOI10.1093/logcom/exn080zbMath1204.06006OpenAlexW2080535497MaRDI QIDQ3583098

Stefano Aguzzoli, Vincenzo Marra

Publication date: 26 August 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/7f7ed2c23c93053d6bb5ef5127f7d5bd3c1f20de

zbMATH Keywords

automorphism groupweighted graphFarey seriesMV-algebrafinitely presented algebraunimodular simplices

Mathematics Subject Classification ID

Finite automorphism groups of algebraic, geometric, or combinatorial structures (20B25) Graphs and linear algebra (matrices, eigenvalues, etc.) (05C50) MV-algebras (06D35)

Related Items (1)

Finite axiomatizability in Łukasiewicz logic

This page was built for publication: Finitely Presented MV-algebras with Finite Automorphism Group