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

structure theoryiterationsaccess to structurescomparison of structuresfour valued logicLiar Paradoxvaluation schemes

Mathematics Subject Classification ID

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

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

• scientific article; zbMATH DE number 4010467 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• Elementary induction on abstract structures
• Grounding, dependence, and paradox
• 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 Theoretical Aspects of the Optimal Fixedpoint
• The convergence of functions to fixedpoints of recursive definitions
• Truth and paradox

Cited in

(34)

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