Intuitionistic open induction and least number principle and the Buss operator
From MaRDI portal
Publication:5937815
DOI10.1305/ndjfl/1039293063zbMath0968.03074OpenAlexW2021735825MaRDI QIDQ5937815
Mohammad Ardeshir, Mojtaba Moniri
Publication date: 17 July 2001
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1039293063
First-order arithmetic and fragments (03F30) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)
Related Items
Cites Work