BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH

DOI10.1017/S175502032000043XMaRDI QIDQ5099781

Ben Middleton

Publication date: 26 August 2022

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2001.00936

zbMATH Keywords

completenessnatural deductiondisjunction propertynaive truthexistence propertysubintuitionisticconditional proof\textsf{TJK}binary Kripke semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Curry's paradox and \(\omega \)-inconsistency
• A propositional logic with explicit fixed points
• Subintuitionistic logics
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Prospects for a naive theory of classes
• Handbook of philosophical logic. Vol. 6
• A new conditional for naive truth theory
• A canonical model for constant domain basic first-order logic
• Outline of a Theory of Truth
• Basic predicate calculus

This page was built for publication: BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH