iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/ndjfl/GuerriniM21.xml
Stefano Guerrini Andrea Masini Proof Nets for Classical Logic. 2021 62 Notre Dame J. Formal Log. 2 https://doi.org/10.1215/00294527-2021-0016 db/journals/ndjfl/ndjfl62.html#GuerriniM21