BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
From MaRDI portal
Publication:5099781
DOI10.1017/S175502032000043XMaRDI QIDQ5099781FDOQ5099781
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
completenessnatural deductionnaive truthdisjunction propertyexistence propertysubintuitionisticconditional proof\textsf{TJK}binary Kripke semantics
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Outline of a Theory of Truth
- A propositional logic with explicit fixed points
- Basic predicate calculus
- 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
- A new conditional for naive truth theory
- Curry's paradox and \(\omega \)-inconsistency
- Subintuitionistic logics
- Handbook of philosophical logic. Vol. 6
- A canonical model for constant domain basic first-order logic
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)
