Structure of the algebras of NMG-formulas.
Stefano Aguzzoli, Brunella Gerla, Corrado Manara · 2006
Extending previous results on Godel and Nilpotent Minimum t-norm logics, we introduce a concrete representation for the logic NMG, whose standard semantics is given by the ordinal sum of Nilpotent Minimum and Godel standard algebras. Our representation is based on the combinatorics of suitable finite posets.