Four valued semantics and the Liar

DOI10.1007/BF00453021zbMath0546.03007MaRDI QIDQ798313

Albert Visser

Publication date: 1984

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

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)

Related Items

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

Cites Work

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