A 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\) (Q816878)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\)
scientific article

    Statements

    Identifiers