INFINITARY TABLEAU FOR SEMANTIC TRUTH
From MaRDI portal
Publication:5259720
DOI10.1017/S175502031500012XzbMath1337.03083OpenAlexW2208307314WikidataQ58194870 ScholiaQ58194870MaRDI QIDQ5259720
Publication date: 29 June 2015
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s175502031500012x
computational complexityclosure ordinalstrong KleeneCantini supervaluationtheories for truthvan Fraassen supervaluation
Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Truth, partial logic and infinitary proof systems ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ Notes on the computational aspects of Kripke's theory of truth ⋮ A note on Horwich's notion of grounding
Cites Work