David Fernández Duque, Eduardo Hermo Reyes. Deducibility and independence in Beklemishev's autonomous provability calculus. Inf. Comput., 287:104758, 2022. [doi]
@article{Fernandez-Duque22-2,
title = {Deducibility and independence in Beklemishev's autonomous provability calculus},
author = {David Fernández Duque and Eduardo Hermo Reyes},
year = {2022},
doi = {10.1016/j.ic.2021.104758},
url = {https://doi.org/10.1016/j.ic.2021.104758},
researchr = {https://researchr.org/publication/Fernandez-Duque22-2},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {287},
pages = {104758},
}