Disjunctive properties of intuitionistic systems

DOI10.1007/BF02015375MaRDI QIDQ4053622zbMATH OpenFDO

Authors Bruno Scarpellini

Publication date 1974

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99)

Cites work

• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Proof theory and intuitionistic systems
• Some applications of Gentzens second consistency proof

Cited in

(2)

• Theory of proofs (arithmetic and analysis)
• Proof-theoretical analysis: Weak systems of functions and classes

This page was built for publication: Disjunctive properties of intuitionistic systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4053622)