The Gentzen-Kripke construction of the intermediate logic LQ
From MaRDI portal
Publication:1187547
DOI10.1305/ndjfl/1093636019zbMath0771.03008OpenAlexW1995776027MaRDI QIDQ1187547
Publication date: 22 July 1992
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093636019
completenessdecidabilityweak law of excluded middleGentzen type formulationKripke type modelssubformula model
Related Items