scientific article; zbMATH DE number 4197953

MaRDI QIDQ5202987zbMATHFDO

Authors Kosta Došen

Publication date 1990

Full work available at URL https://eudml.org/doc/118157

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

intuitionismprovabilityHeyting arithmeticmodal translationextensions of Peano arithmeticnormal modal system S4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25) Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 3981153
• scientific article; zbMATH DE number 218532
• Flagg realizability in arithmetic
• scientific article; zbMATH DE number 1735881
• scientific article; zbMATH DE number 4070861

Cited in

(5)

• scientific article; zbMATH DE number 218532 (Why is no real title available?)
• The first axiomatization of relevant logic
• scientific article; zbMATH DE number 1735881 (Why is no real title available?)
• Flagg realizability in arithmetic
• DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC

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