Four valued semantics and the Liar (Q798313): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3858244 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intuitive semantics for first-degree entailments and `coupled trees' / rank
 
Normal rank
Property / cites work
 
Property / cites work: Truth and paradox / rank
 
Normal rank
Property / cites work
 
Property / cites work: Notes on naive semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Outline of a Theory of Truth / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Theoretical Aspects of the Optimal Fixedpoint / rank
 
Normal rank
Property / cites work
 
Property / cites work: The convergence of functions to fixedpoints of recursive definitions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3760496 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elementary induction on abstract structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Paradox, truth and logic. I. Paradox and truth / rank
 
Normal rank
Property / cites work
 
Property / cites work: Grounding, dependence, and paradox / rank
 
Normal rank

Latest revision as of 13:47, 14 June 2024

scientific article
Language Label Description Also known as
English
Four valued semantics and the Liar
scientific article

    Statements

    Four valued semantics and the Liar (English)
    0 references
    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
    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