Four valued semantics and the Liar
type: Item
instance of: scholarly article
title: Four valued semantics and the Liar
zbMATH Open document ID: 0546.03007
DOI: 10.1007/BF00453021
author: Albert Visser
published in: Journal of Philosophical Logic
publication date: 1984-01-01T00:00:00Z
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.
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 3869299
zbMATH Keywords: four valued logic
zbMATH Keywords: Liar Paradox
zbMATH Keywords: valuation schemes
zbMATH Keywords: structure theory
zbMATH Keywords: iterations
zbMATH Keywords: access to structures
zbMATH Keywords: comparison of structures
MaRDI profile type: Publication
cites work: Q3858244
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Truth and paradox
cites work: Notes on naive semantics
cites work: Outline of a Theory of Truth
cites work: The Theoretical Aspects of the Optimal Fixedpoint
cites work: The convergence of functions to fixedpoints of recursive definitions
cites work: Q3760496
cites work: Elementary induction on abstract structures
cites work: Paradox, truth and logic. I. Paradox and truth
cites work: Grounding, dependence, and paradox
description: scientific article; zbMATH DE number 3869299