scientific article; zbMATH DE number 3666766

MaRDI QIDQ3864489zbMATH OpenFDO

Authors A. P. Hazen

Publication date 1980

zbMATH Keywords

completenessstrong negationintuitionistic arithmeticclassical model theoryintuitionistic predicate calculusconstructible falsity

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3864489)