A very strong intuitionistic theory

DOI10.1007/BF02123404MaRDI QIDQ1234293zbMATH OpenFDO

Authors Sergio Bernini

Publication date 1976

Published in Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Cites work

• scientific article; zbMATH DE number 3552489 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3253161 (Why is no real title available?)
• Extensional Gödel functional interpretation. A consistency proof of classical analysis
• Informal theory of choice sequences
• Points and Spaces
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY

Cited in

(4)

• A strong multi-typed intuitionistic theory of functionals
• A note on my paper A very strong intuitionistic theory
• The inconsistency of Bernini's very strong intuitionistic theory
• Intuitionistic theory of functionals of higher type

This page was built for publication: A very strong intuitionistic theory

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