Franco Barbanera, Stefano Berardi. A Constructive Valuation Semantics for Classical Logic. Notre Dame Journal of Formal Logic, 37(3):462-482, 1996.
@article{BarbaneraB96:1, title = {A Constructive Valuation Semantics for Classical Logic}, author = {Franco Barbanera and Stefano Berardi}, year = {1996}, tags = {semantics, logic}, researchr = {https://researchr.org/publication/BarbaneraB96%3A1}, cites = {0}, citedby = {0}, journal = {Notre Dame Journal of Formal Logic}, volume = {37}, number = {3}, pages = {462-482}, }