NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLES

DOI10.1002/MALQ.19830291004zbMATH Open0568.03030OpenAlexW2148723814MaRDI QIDQ3684120FDOQ3684120

J. Lambek, Philip 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)

Cited In (3)

• Title not available (Why is that?)
• Some new intuitionistic equivalents of Zorn's Lemma
• Choice and independence of premise rules in intuitionistic set theory

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

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