@article{article3e8eec3c,
title   = {Valuation semantics for intuitionistic propositional calculus and some of its subcalculi},
author = {Loparic, Andréa Maria Altino de Campos},
year = {2010},
journal   = {Principia}
}