Binns, Stephen; Nicholson, Marie Compressibility and Kolmogorov complexity. (English) Zbl 1271.03058 Notre Dame J. Formal Logic 54, No. 1, 105-123 (2013). Reviewer: Liang Yu (Nanjing) MSC: 03D32 68Q30 PDFBibTeX XMLCite \textit{S. Binns} and \textit{M. Nicholson}, Notre Dame J. Formal Logic 54, No. 1, 105--123 (2013; Zbl 1271.03058) Full Text: DOI Euclid
Bacon, Andrew A new conditional for naive truth theory. (English) Zbl 1273.03073 Notre Dame J. Formal Logic 54, No. 1, 87-104 (2013). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B47 03A05 PDFBibTeX XMLCite \textit{A. Bacon}, Notre Dame J. Formal Logic 54, No. 1, 87--104 (2013; Zbl 1273.03073) Full Text: DOI Euclid
Steinberger, Florian On the equivalence conjecture for proof-theoretic harmony. (English) Zbl 1301.03014 Notre Dame J. Formal Logic 54, No. 1, 79-86 (2013). Reviewer: Branislav Boričić (Beograd) MSC: 03A05 03F03 PDFBibTeX XMLCite \textit{F. Steinberger}, Notre Dame J. Formal Logic 54, No. 1, 79--86 (2013; Zbl 1301.03014) Full Text: DOI Euclid
Xu, Wenyan; Liu, Sanyang The parallel versus branching recurrences in computability logic. (English) Zbl 1291.03072 Notre Dame J. Formal Logic 54, No. 1, 61-78 (2013). Reviewer: Alex Nabebin (Moskva) MSC: 03B70 03B47 68Q10 91A80 PDFBibTeX XMLCite \textit{W. Xu} and \textit{S. Liu}, Notre Dame J. Formal Logic 54, No. 1, 61--78 (2013; Zbl 1291.03072) Full Text: DOI arXiv Euclid
Alexander, Samuel The first-order syntax of variadic functions. (English) Zbl 1280.03008 Notre Dame J. Formal Logic 54, No. 1, 47-59 (2013). MSC: 03B10 03B35 03C10 PDFBibTeX XMLCite \textit{S. Alexander}, Notre Dame J. Formal Logic 54, No. 1, 47--59 (2013; Zbl 1280.03008) Full Text: DOI arXiv Euclid
Lu, Yun Reducts of the random bipartite graph. (English) Zbl 1285.03043 Notre Dame J. Formal Logic 54, No. 1, 33-46 (2013). MSC: 03C65 05C80 PDFBibTeX XMLCite \textit{Y. Lu}, Notre Dame J. Formal Logic 54, No. 1, 33--46 (2013; Zbl 1285.03043) Full Text: DOI arXiv Euclid
Patten, Daniel R. Mereology on topological and convergence spaces. (English) Zbl 1284.03138 Notre Dame J. Formal Logic 54, No. 1, 21-31 (2013). MSC: 03B30 06A06 54A20 54B30 PDFBibTeX XMLCite \textit{D. R. Patten}, Notre Dame J. Formal Logic 54, No. 1, 21--31 (2013; Zbl 1284.03138) Full Text: DOI Euclid
Beall, Jc; Forster, Thomas; Seligman, Jeremy A note on freedom from detachment in the logic of paradox. (English) Zbl 1272.03115 Notre Dame J. Formal Logic 54, No. 1, 15-20 (2013). MSC: 03B53 03B47 03B80 PDFBibTeX XMLCite \textit{J. Beall} et al., Notre Dame J. Formal Logic 54, No. 1, 15--20 (2013; Zbl 1272.03115) Full Text: DOI Euclid
Johnson, Hunter dp-rank and forbidden configurations. (English) Zbl 1276.03035 Notre Dame J. Formal Logic 54, No. 1, 1-13 (2013). Reviewer: Frank Wagner (Villeurbanne) MSC: 03C45 PDFBibTeX XMLCite \textit{H. Johnson}, Notre Dame J. Formal Logic 54, No. 1, 1--13 (2013; Zbl 1276.03035) Full Text: DOI arXiv Euclid