%0 Journal Article %1 journals/sLogica/CastanoC16 %A Castaño, Diego Nicolás %A Cornejo, Juan Manuel %D 2016 %J Stud Logica %K dblp %N 6 %P 1245-1265 %T Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica104.html#CastanoC16 %V 104

@article{journals/sLogica/CastanoC16, added-at = {2023-03-19T00:00:00.000+0100}, author = {Castaño, Diego Nicolás and Cornejo, Juan Manuel}, biburl = {https://www.bibsonomy.org/bibtex/2d99b8c9f4e5c66bca575b1d07d197a6f/dblp}, ee = {https://doi.org/10.1007/s11225-016-9675-y}, interhash = {5ba4d7c817d1ed76210c9a5f94744306}, intrahash = {d99b8c9f4e5c66bca575b1d07d197a6f}, journal = {Stud Logica}, keywords = {dblp}, number = 6, pages = {1245-1265}, timestamp = {2024-04-08T20:31:20.000+0200}, title = {Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica104.html#CastanoC16}, volume = 104, year = 2016 }