scientific article; zbMATH DE number 4132124

MaRDI QIDQ3033734zbMATH OpenFDO

Authors N. A. Pankrat'ev

Publication date 1989

zbMATH Keywords

classical interpretation of intuitionistic predicate calculus and arithmeticGödel transformationintuitionistic arithmetic

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

(6)

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

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)