BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH

DOI10.1017/S175502032000043XMaRDI QIDQ5099781zbMATH OpenFDO

Authors 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

\textsf{TJK}binary Kripke semanticscompletenessconditional proofdisjunction propertyexistence propertynaive truthnatural deductionsubintuitionistic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• A new conditional for naive truth theory
• Kripke and the logic of truth
• Super liars
• Adding a conditional to Kripke's theory of truth
• THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH

Cites work

• A canonical model for constant domain basic first-order logic
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• A new conditional for naive truth theory
• A propositional logic with explicit fixed points
• Axiomatic theories of truth
• Basic predicate calculus
• Curry's paradox and \(\omega \)-inconsistency
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 3891328 (Why is no real title available?)
• Outline of a Theory of Truth
• Prospects for a naive theory of classes
• Subintuitionistic logics
• Universal logic

Cited in

(1)

• Binary Kripke Semantics for a Strong Logic for Naive Truth

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5099781)