scientific article; zbMATH DE number 3900723

MaRDI QIDQ3679154zbMATH OpenFDO

Authors Zdzisław Dywan

Publication date 1984

zbMATH Keywords

consequencefragment of arithmeticinterpretationtopological space

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 3957097
• Quantified propositional calculi and fragments of bounded arithmetic
• A note on some intermediate propositional calculi
• scientific article; zbMATH DE number 440479
• Weak arithmetical interpretations for the logic of proofs
• Arithmetical interpretations and Kripke frames of predicate modal logic of provability
• Propositional representation of arithmetic proofs (preliminary version)
• Interpretations of Presburger arithmetic in itself
• Predicate logics of decidable fragments of arithmetic
• Predicative Fragments of Frege Arithmetic

Cited in

(3)

• Interpretations of Presburger arithmetic in itself
• scientific article; zbMATH DE number 440479 (Why is no real title available?)
• scientific article; zbMATH DE number 3878892 (Why is no real title available?)

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