A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
;
Uustalu, Tarmo
Journal of logic and computation
2018
/
p. 165-202
https://doi.org/10.1093/logcom/exx044
https://www.scopus.com/sourceid/25620
https://www.scopus.com/record/display.uri?eid=2-s2.0-85052635835&origin=inward&txGid=88591c09dd53528010ccdabe71fa309b
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOGIC%20COMPUT&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000454114000001