On the semantic completeness of the logics of the creating subject
From MaRDI portal
Publication:4872721
DOI10.1070/RM1994v049n06ABEH002455zbMath0842.03042OpenAlexW2069660140MaRDI QIDQ4872721
Publication date: 24 July 1996
Published in: Russian Mathematical Surveys (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1070/rm1994v049n06abeh002455
Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)