Nissim Francez, Gilad Ben-Avi. Proof-Theoretic Semantic Values for Logical operators. Rew. Symb. Logic, 4(3):466-478, 2011. [doi]
@article{FrancezB11, title = {Proof-Theoretic Semantic Values for Logical operators}, author = {Nissim Francez and Gilad Ben-Avi}, year = {2011}, doi = {10.1017/S1755020311000098}, url = {http://dx.doi.org/10.1017/S1755020311000098}, researchr = {https://researchr.org/publication/FrancezB11}, cites = {0}, citedby = {0}, journal = {Rew. Symb. Logic}, volume = {4}, number = {3}, pages = {466-478}, }