1
2

Computing Minimal Axiomatizations in Godel Propositional Logic

E-Article
3
4

Finitely Presented MV-algebras with Finite Automorphism Group

E-Article