A new way of normalizing intuitionistic propositional logic

DOI10.1007/BF02123405MaRDI QIDQ1237067zbMATH OpenFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 3348059 (Why is no real title available?)
• Combinatory logic. With two sections by William Craig.

Cited in

(1)

• On analysing relevance constructively

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

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