A new way of normalizing intuitionistic propositional logic

DOI10.1007/BF02123405zbMath0355.02019MaRDI QIDQ1237067

Garrel Pottinger

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 (1)

On analysing relevance constructively

Cites Work

• Unnamed Item
• Combinatory logic. With two sections by William Craig.

This page was built for publication: A new way of normalizing intuitionistic propositional logic