Johan van Benthem. The information in intuitionistic logic. Synthese, 167(2):251-270, 2009. [doi]
@article{Benthem09, title = {The information in intuitionistic logic}, author = {Johan van Benthem}, year = {2009}, doi = {10.1007/s11229-008-9408-5}, url = {http://dx.doi.org/10.1007/s11229-008-9408-5}, tags = {logic}, researchr = {https://researchr.org/publication/Benthem09}, cites = {0}, citedby = {0}, journal = {Synthese}, volume = {167}, number = {2}, pages = {251-270}, }