A very strong intuitionistic theory

DOI10.1007/BF02123404zbMath0348.02029MaRDI QIDQ1234293

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)

Related Items (4)

A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS ⋮ The inconsistency of Bernini's very strong intuitionistic theory ⋮ A note on my paper A very strong intuitionistic theory ⋮ Intuitionistic theory of functionals of higher type

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• Extensional Gödel functional interpretation. A consistency proof of classical analysis
• Informal theory of choice sequences
• Points and Spaces

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