Decidability Problem for Unranked Propositional Logic

Author: Lali Tibua
Co-authors: Khimuri Rukhaia
Keywords: Unranked logic, Classification of formulas, Directive operator of the process
Annotation:

An algorithm of the classification of the unranked propositional logic formulas are constructed.Formulas of unranked propositional logic are proved as algorithmic process. Propositional Logic

Lecture files:

lali-tibua-ENG [en]
lali-tibua-GEO [ka]