%0 Journal Article %1 journals/jphil/CobrerosRT22 %A Cobreros, Pablo %A Rosa, Elio La %A Tranchini, Luca %D 2022 %J J. Philos. Log. %K dblp %N 6 %P 1417-1452 %T Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach. %U http://dblp.uni-trier.de/db/journals/jphil/jphil51.html#CobrerosRT22 %V 51

@article{journals/jphil/CobrerosRT22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Cobreros, Pablo and Rosa, Elio La and Tranchini, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2560f62c37167e970dd663db79718d139/dblp}, ee = {https://doi.org/10.1007/s10992-021-09639-z}, interhash = {8a89e5608737bcb2fc610cb4db04fd68}, intrahash = {560f62c37167e970dd663db79718d139}, journal = {J. Philos. Log.}, keywords = {dblp}, number = 6, pages = {1417-1452}, timestamp = {2024-04-08T18:54:38.000+0200}, title = {Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach.}, url = {http://dblp.uni-trier.de/db/journals/jphil/jphil51.html#CobrerosRT22}, volume = 51, year = 2022 }