MVn-algebras with closure operators

Author: Ramaz Liparteliani
Keywords: MV-algebra, Lukasiewicz logic, Closure operators
Annotation:

The signature of many-valued algebras is extended with closure type unary operators. Appropriate algebras and their varieties are examined. Moreover, appropriate logical systems are introduced and completeness and deduction theorems have been proved.