Makharadze, M. Standard forms of formulas of \(\tau\)-logics. (English) Zbl 0996.03506 Bull. Georgian Acad. Sci. 155, No. 1, 96-97 (1997). Summary: Algorithms reducing formulas to \(\tau\)-conjunctive normal form and \(\tau\)-disjunctive normal form are constructed. These algorithms have the properties of equivalent reformation. MSC: 03B70 Logic in computer science 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:\(\tau\)-conjunctive normal form; \(\tau\)-disjunctive normal form PDFBibTeX XMLCite \textit{M. Makharadze}, Bull. Georgian Acad. Sci. 155, No. 1, 96--97 (1997; Zbl 0996.03506)