Four valued semantics and the Liar (Q798313)

From MaRDI portal





scientific article; zbMATH DE number 3869299
Language Label Description Also known as
default for all languages
No label defined
    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