%0 Journal Article %1 journals/igpl/PiazzaP16 %A Piazza, Mario %A Pulcini, Gabriele %D 2016 %J Logic Journal of the IGPL %K dblp %N 5 %P 708-718 %T Uniqueness of axiomatic extensions of cut-free classical propositional logic. %U http://dblp.uni-trier.de/db/journals/igpl/igpl24.html#PiazzaP16 %V 24

@article{journals/igpl/PiazzaP16, added-at = {2018-11-30T00:00:00.000+0100}, author = {Piazza, Mario and Pulcini, Gabriele}, biburl = {https://www.bibsonomy.org/bibtex/2f43b6683035ff20a25c85f406a07151a/dblp}, ee = {https://doi.org/10.1093/jigpal/jzw032}, interhash = {4f1b9dd985bb83fc027b90334fbf5794}, intrahash = {f43b6683035ff20a25c85f406a07151a}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 5, pages = {708-718}, timestamp = {2018-12-01T12:18:09.000+0100}, title = {Uniqueness of axiomatic extensions of cut-free classical propositional logic.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl24.html#PiazzaP16}, volume = 24, year = 2016 }