@article{ ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTA5My9sb2djb20vZXh0MDM1, title = {Falsification, natural deduction and bi-intuitionistic logic}, journal = {Journal of Logic and Computation}, volume = {26}, number = {1}, pages = {425-450}, author = {Wansing, Heinrich}, publisher = {Oxford University Press (OUP)}, year = {2016}, issn = {1465-363X}, issn = {0955-792X}, language = {English}, url = {http://dx.doi.org/10.1093/logcom/ext035}, url = {https://katalog.ub.uni-leipzig.de/Record/ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTA5My9sb2djb20vZXh0MDM1} }