On disjunction in intuitionist logic

DOI10.1007/BF03053038zbMath0063.07932OpenAlexW195816997WikidataQ128969890 ScholiaQ128969890MaRDI QIDQ5846548

R. Vaidyanathaswamy

Publication date: 1943

Published in: Proceedings of the Indian Academy of Sciences - Section A (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03053038

zbMATH Keywords

intuitionist logicstrong disjunctionweak disjunction

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: On disjunction in intuitionist logic