scientific article; zbMATH DE number 4132124

MaRDI QIDQ3033734zbMATH OpenFDO

Authors N. A. Pankrat'ev

Publication date 1989

zbMATH Keywords

intuitionistic arithmeticclassical interpretation of intuitionistic predicate calculus and arithmeticGödel transformation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) First-order arithmetic and fragments (03F30)

Recommendations

• The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic
• scientific article; zbMATH DE number 4099259
• A negationless interpretation of intuitionistic theories. I
• scientific article; zbMATH DE number 1166301
• On modal logics which are conservative over the intuitionistic predicate calculus

Cited in

(4)

• The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic
• Predicative logic and formal arithmetic
• Provability in principle and controversial constructivistic principles
• scientific article; zbMATH DE number 1521608 (Why is no real title available?)

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 Q3033734)