%0 Journal Article %1 journals/logcom/CantuF23 %A Cantú, Liliana M. %A Figallo, Martín %D 2023 %J J. Log. Comput. %K dblp %N 7 %P 1684-1710 %T Cut-free sequent-style systems for a logic associated to involutive Stone algebras. %U http://dblp.uni-trier.de/db/journals/logcom/logcom33.html#CantuF23 %V 33

@article{journals/logcom/CantuF23, added-at = {2024-01-02T00:00:00.000+0100}, author = {Cantú, Liliana M. and Figallo, Martín}, biburl = {https://www.bibsonomy.org/bibtex/2c5989dff28765463bf7945e7bc7b591b/dblp}, ee = {https://doi.org/10.1093/logcom/exac061}, interhash = {b27e3ba0b16f88997faee6cba1a163fc}, intrahash = {c5989dff28765463bf7945e7bc7b591b}, journal = {J. Log. Comput.}, keywords = {dblp}, month = {October}, number = 7, pages = {1684-1710}, timestamp = {2024-04-09T05:12:41.000+0200}, title = {Cut-free sequent-style systems for a logic associated to involutive Stone algebras.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom33.html#CantuF23}, volume = 33, year = 2023 }