scientific article; zbMATH DE number 4197953

zbMATH Open0726.03009MaRDI QIDQ5202987FDOQ5202987

Authors: Kosta Došen 

Publication date: 1990

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

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

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

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

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)

Cited In (5)

• The first axiomatization of relevant logic
• Flagg realizability in arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)