Problemi di decisione per algebre connesse a logiche a più valori
In this Note the Ł-chains elementary theory is proved to be decidable (cfr. [5]).
Proprietà e model-completamento di alcune varietà di algebre di Łukasiewicz
In this Note some algebraic properties of Ł-algebras are studied. Model-completion's existence and axioms, for Ł theories, are found.
Page 1