Return to Article Details Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi Download Download PDF