The logic of a creative subject: conservativism versus intuitionistic predicate calculus
From MaRDI portal
Publication:3125926
DOI10.1070/RM1996v051n01ABEH002755zbMath0867.03010OpenAlexW2079209196MaRDI QIDQ3125926
Publication date: 6 May 1997
Published in: Russian Mathematical Surveys (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1070/rm1996v051n01abeh002755
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Intermediate logics (03B55)