Disjunctive properties of intuitionistic systems

DOI10.1007/BF02015375zbMath0299.02035MaRDI QIDQ4053622

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)

Related Items

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

Cites Work

• Unnamed Item
• Some applications of Gentzens second consistency proof
• Proof theory and intuitionistic systems