Four valued semantics and the Liar

DOI10.1007/BF00453021zbMATH Open0546.03007MaRDI QIDQ798313FDOQ798313

Albert Visser

Publication date: 1984

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

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

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)

Cites Work

• Title not available (Why is that?)
• Outline of a Theory of Truth
• Grounding, dependence, and paradox
• Elementary induction on abstract structures
• Title not available (Why is that?)
• Paradox, truth and logic. I. Paradox and truth
• Intuitive semantics for first-degree entailments and `coupled trees'
• Truth and paradox
• Notes on naive semantics
• The Theoretical Aspects of the Optimal Fixedpoint
• The convergence of functions to fixedpoints of recursive definitions

Cited In (33)

• Contextual-hierarchical reconstructions of the strengthened liar problem
• One hundred years of semantic paradox
• Automatic theorem proving in paraconsistent logics: Theory and implementation
• On partial and paraconsistent logics
• 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
• Truth and the liar in De Morgan-valued models
• NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
• From closure games to strong Kleene truth
• Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices
• Mathematical perspectives on liar paradoxes
• Inconsistency without contradiction
• An abstract algebraic logic approach to tetravalent modal logics
• 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
• 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
• A UNIFIED THEORY OF TRUTH AND PARADOX
• Comparing fixed-point and revision theories of truth
• PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC
• 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)