scientific article; zbMATH DE number 4132124

zbMATH Open0692.03008MaRDI QIDQ3033734FDOQ3033734

Authors: N. A. Pankrat'ev 

Publication date: 1989

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Predicative logic and formal arithmetic
• Title not available (Why is that?)
• The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic
• Provability in principle and controversial constructivistic principles

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)