Unification of Lukasiewicz logic enriched with constant connective
Revaz Grigolia, Ramaz Liparteliani · 2009
A new logic - Lukasiewicz logic enriched with constant connective, and corresponding to it variety of algebras, is introduced. The unification problems are analyzed for the new logic. It is shown that the logic has finitary unification type.