Four valued semantics and the Liar

DOI10.1007/BF00453021MaRDI QIDQ798313zbMATH OpenFDO

Authors Albert Visser

Publication date 1984

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00453021

zbMATH Keywords

access to structurescomparison of structuresfour valued logiciterationsLiar Paradoxstructure theoryvaluation schemes

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50)

Review text

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.

Recommendations

• Two, three, four, infinity: the path to the four-valued logic and beyond
• Partiality and its dual
• Four-valued logic
• The value of the four values
• scientific article; zbMATH DE number 2209893

Cites work

• Elementary induction on abstract structures
• Grounding, dependence, and paradox
• scientific article; zbMATH DE number 4010467 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Notes on naive semantics
• Outline of a Theory of Truth
• Paradox, truth and logic. I. Paradox and truth
• The convergence of functions to fixedpoints of recursive definitions
• The Theoretical Aspects of the Optimal Fixedpoint
• Truth and paradox

Cited in

(34)

• Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices
• Bilattices and the theory of truth
• Paraconsistent logic programming
• The value of the four values
• Inconsistency without contradiction
• Truth and the liar in De Morgan-valued models
• A theory of truth that prefers falsehood
• Four-valued paradefinite logics
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
• Partiality and its dual
• An approach to uncertainty via sets of truth values
• On inclusions between quantified provability logics
• Mathematical perspectives on liar paradoxes
• Conditionals in theories of truth
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Contextual-hierarchical reconstructions of the strengthened liar problem
• One hundred years of semantic paradox
• One step is enough
• From closure games to strong Kleene truth
• A theory of formal truth arithmetically equivalent to ID₁
• Construction of Truth Predicates: Approximation Versus Revision
• Disquotational truth and analyticity
• An abstract algebraic logic approach to tetravalent modal logics
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
• Provability logics relative to a fixed extension of Peano arithmetic
• Feferman and the Truth
• A UNIFIED THEORY OF TRUTH AND PARADOX
• Guest editors' introduction
• NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
• Automatic theorem proving in paraconsistent logics: Theory and implementation
• On partial and paraconsistent logics
• Modal, fuzzy,\dots, vanilla fixpoint theories of truth: a uniform approach
• Comparing fixed-point and revision theories of truth

This page was built for publication: Four valued semantics and the Liar

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q798313)