%0 Journal Article %1 journals/corr/FrittellaGPY16 %A Frittella, Sabine %A Greco, Giuseppe %A Palmigiano, Alessandra %A Yang, Fan %D 2016 %J CoRR %K dblp %T Structural Multi-type Sequent Calculus for Inquisitive Logic. %U http://dblp.uni-trier.de/db/journals/corr/corr1604.html#FrittellaGPY16 %V abs/1604.00936

@article{journals/corr/FrittellaGPY16, added-at = {2021-01-23T00:00:00.000+0100}, author = {Frittella, Sabine and Greco, Giuseppe and Palmigiano, Alessandra and Yang, Fan}, biburl = {https://www.bibsonomy.org/bibtex/2aa05c4a68bf0ce7be01d44ae08ca0fee/dblp}, ee = {http://arxiv.org/abs/1604.00936}, interhash = {cb40161a0604dde334962cc42dd25f1f}, intrahash = {aa05c4a68bf0ce7be01d44ae08ca0fee}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:10:56.000+0200}, title = {Structural Multi-type Sequent Calculus for Inquisitive Logic.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1604.html#FrittellaGPY16}, volume = {abs/1604.00936}, year = 2016 }