Intuitionistic Logic

This publication has 70 references indexed in Scilit:

• Foundations of Constructive Mathematics
  Published by Springer Nature ,1985
• The completeness of intuitionistic propositional calculus for its intended interpretation.
  Notre Dame Journal of Formal Logic, 1981
• Logic and Structure
  Published by Springer Nature ,1980
• Equality in the Presence of Apartness
  Published by Springer Nature ,1979
• An interpretation of intuitionistic analysis
  Annals of Mathematical Logic, 1978
• The use of Kripke's schema as a reduction principle
  The Journal of Symbolic Logic, 1977
• The Philosophical Basis of Intuitionistic Logic
  Published by Elsevier ,1975
• A model for HAS. A topological interpretation of the theory of species of natural numbers
  Fundamenta Mathematicae, 1974
• Lectures on intuitionism
  Published by Springer Nature ,1973
• Saturated Intuitionistic Theories
  Published by Elsevier ,1968