Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order (Q749525)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order
scientific article

    Statements

    Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order (English)
    0 references
    0 references
    1990
    0 references
    See the review in Zbl 0704.03020.
    0 references
    theory of types
    0 references
    transfinite expressions
    0 references
    proper classes
    0 references
    pseudo-Boolean algebra
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references