ka | en
Authorisation

MVn-algebras with closure operators
Author: Ramaz LipartelianiKeywords: 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.