@inproceedings{GK09, author = {A. Genitrini and J. Kozik}, title = {Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System}, howpublished = {LNCS 5407}, booktitle = {{I}nternational {S}ymposium on {L}ogical {F}oundations of {C}omputer {S}cience (LFCS)}, editor = {Springer-Verlag}, month = {January}, address = {Florida, {USA}}, year = {2009}, pages = {280--294}, doi = {10.1007/978-3-540-92687-0_19}, ee = {http://dx.doi.org/10.1007/978-3-540-92687-0_19} }