scientific article; zbMATH DE number 3280031

MaRDI QIDQ5565082zbMATH OpenFDO

Authors Andrzej Grzegorczyk

Publication date 1968

Full work available at URL http://www.numdam.org/item?id=CM_1968__20__83_0, https://eudml.org/doc/88987

zbMATH Keywords

general logic

Cites work

• scientific article; zbMATH DE number 3136643 (Why is no real title available?)
• scientific article; zbMATH DE number 3212008 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3020851 (Why is no real title available?)
• The pure calculus of entailment

Cited in

(2)

• A semantic hierarchy for intuitionistic logic
• Classical, relativistic and constructivistic ways of assertion of theorems

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