Four valued semantics and the Liar (Q798313)

From MaRDI portal





scientific article; zbMATH DE number 3869299
Language Label Description Also known as
English
Four valued semantics and the Liar
scientific article; zbMATH DE number 3869299

    Statements

    Four valued semantics and the Liar (English)
    0 references
    0 references
    1984
    0 references
    The present paper interweaves various themes. Two main themes are four valued logic and the Liar Paradox. Each main theme divides into two interconnected subthemes: four valued logic into valuation schemes and structure theory; the Liar into iterations and access to structures on the one hand, and comparison of structures on the other hand.
    0 references
    four valued logic
    0 references
    Liar Paradox
    0 references
    valuation schemes
    0 references
    structure theory
    0 references
    iterations
    0 references
    access to structures
    0 references
    comparison of structures
    0 references

    Identifiers