Takahiro Yamada. Wright's Strict Finitistic Logic in the Classical Metatheory: The Propositional Case. J. Philosophical Logic, 52(4):1081-1100, August 2023. [doi]
@article{Yamada23-0,
title = {Wright's Strict Finitistic Logic in the Classical Metatheory: The Propositional Case},
author = {Takahiro Yamada},
year = {2023},
month = {August},
doi = {10.1007/s10992-022-09698-w},
url = {https://doi.org/10.1007/s10992-022-09698-w},
researchr = {https://researchr.org/publication/Yamada23-0},
cites = {0},
citedby = {0},
journal = {J. Philosophical Logic},
volume = {52},
number = {4},
pages = {1081-1100},
}