BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
type: Item
instance of: scholarly article
title: BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
DOI: 10.1017/S175502032000043X
author: Ben Middleton
published in: The Review of Symbolic Logic
publication date: 2022-08-26T00:00:00Z
full work available at URL: https://arxiv.org/abs/2001.00936
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 7576539
zbMATH Keywords: naive truth
zbMATH Keywords: \textsf{TJK}
zbMATH Keywords: completeness
zbMATH Keywords: disjunction property
zbMATH Keywords: existence property
zbMATH Keywords: subintuitionistic
zbMATH Keywords: binary Kripke semantics
zbMATH Keywords: natural deduction
zbMATH Keywords: conditional proof
MaRDI profile type: MaRDI publication profile
cites work: A new conditional for naive truth theory
cites work: Curry's paradox and \(\omega \)-inconsistency
cites work: Q3347856
cites work: Q3543573
cites work: Prospects for a naive theory of classes
cites work: Q3005147
cites work: Outline of a Theory of Truth
cites work: A canonical model for constant domain basic first-order logic
cites work: A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
cites work: Handbook of philosophical logic. Vol. 6
cites work: Subintuitionistic logics
cites work: Basic predicate calculus
cites work: A propositional logic with explicit fixed points
description: scientific article; zbMATH DE number 7576539