Valuation semantics for intuitionistic propositional calculus and some of its subcalculi - Loparic, Andréa Maria Altino de Campos (Principia, 2010)