NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLES

DOI10.1002/MALQ.19830291004zbMath0568.03030OpenAlexW2148723814MaRDI QIDQ3684120

Philip J. Scott

Publication date: 1983

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19830291004

zbMATH Keywords

intuitionistic type theoryexistence ruledisjunction ruleFreyd coverindependence of premisses ruleuniformity rule

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Intuitionistic mathematics (03F55)

Related Items (1)

Choice and independence of premise rules in intuitionistic set theory

This page was built for publication: NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLES