ka | en
![TSU2013](http://conference.ens-2013.tsu.ge/media/images/Tsu_old.jpg)
Decidability Problem for Unranked Propositional Logic
Author: Lali TibuaCo-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]