Andersen, Frederik J. Countering justification holism in the epistemology of logic: the argument from pre-theoretic universality. (English) Zbl 07758369 Australas. J. Log. 20, No. 3, 375-396 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Cohen, Michael Opaque updates. (English) Zbl 1535.03078 J. Philos. Log. 50, No. 3, 447-470 (2021). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Ramachandran, Murali Knowledge-to-fact arguments (bootstrapping, closure, paradox and KK). (English) Zbl 1369.03071 Analysis, Oxf. 76, No. 2, 142-149 (2016). MSC: 03A05 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Taylor, Samuel A. Is justification easy or impossible? Getting acquainted with a middle road. (English) Zbl 1357.03029 Synthese 192, No. 9, 2987-3009 (2015). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Douven, Igor; Kelp, Christoph Proper bootstrapping. (English) Zbl 1284.03046 Synthese 190, No. 1, 171-185 (2013). MSC: 03A05 03B42 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Buss, Samuel R. First-order proof theory of arithmetic. (English) Zbl 0911.03029 Buss, Samuel R. (ed.), Handbook of proof theory. Amsterdam: Elsevier. Stud. Logic Found. Math. 137, 79-147 (1998). Reviewer: R.Murawski (Poznań) MSC: 03F30 03F05 × Cite Format Result Cite Review PDF
Gunji, Yukio-Pegio; Sadaoka, Hisato; Ito, Keisuke Bootstrapping system defined by inconsistent relation between Boolean and non-Boolean algebra. (English) Zbl 0855.92003 Appl. Math. Comput. 79, No. 1, 43-97 (1996). MSC: 92B05 06E99 03B80 03G05 68R99 × Cite Format Result Cite Review PDF Full Text: DOI
Buss, Samuel R.; Ignjatović, Aleksandar Unprovability of consistency statements in fragments of bounded arithmetic. (English) Zbl 0834.03022 Ann. Pure Appl. Logic 74, No. 3, 221-244 (1995). MSC: 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Achinstein, Peter Theoretical derivations. (English) Zbl 0605.00022 Stud. Hist. Philos. Sci. 17, 375-414 (1986). Reviewer: W.G.Engel MSC: 00A30 03-03 01A55 82-03 × Cite Format Result Cite Review PDF Full Text: DOI OA License