An algorithm of classification of unranked propositional logic formulas
type: Item
instance of: scholarly article
zbMATH Open document ID: 1289.03004
author: Kh. M. Rukhaia
author: L. M. Tibua
author: G. O. Chankvetadze
author: G. M. Mikhanadze
publication date: 2013-09-26T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B05
zbMATH DE Number: 6212559
zbMATH Keywords: unranked logic
zbMATH Keywords: classification of formulas
zbMATH Keywords: directive operator
zbMATH Keywords: propositional logic
MaRDI profile type: Publication
title: An algorithm of classification of unranked propositional logic formulas
published in: Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka
description: scientific article; zbMATH DE number 6212559