Independence of Tarski's law in Henkin's propositional fragments
From MaRDI portal
Publication:2523029
DOI10.1305/ndjfl/1093956429zbMath0143.00902OpenAlexW2042191249MaRDI QIDQ2523029
Publication date: 1960
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093956429
Related Items (2)
For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS
This page was built for publication: Independence of Tarski's law in Henkin's propositional fragments
