Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

On constructive functions ranging over propositions

From MaRDI portal
Publication:1153081
Jump to:navigation, search

DOI10.1007/BF00713547zbMath0463.03036OpenAlexW2072598298MaRDI QIDQ1153081

Horst Luckhardt

Publication date: 1980

Published in: Studia Logica (Search for Journal in Brave)

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


zbMATH Keywords

constructive structuresconstructive truth-value mapping


Mathematics Subject Classification ID

Other constructive mathematics (03F65) Intuitionistic mathematics (03F55)


Related Items (1)

Intuitionistic uniformity principles for propositions and some applications




Cites Work

  • Intuitionistic uniformity principles for propositions and some applications
  • Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
  • The use of Kripke's schema as a reduction principle




This page was built for publication: On constructive functions ranging over propositions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1153081&oldid=13205613"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
This page was last edited on 31 January 2024, at 04:16.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki