Japaridze, Giorgi Separating the basic logics of the basic recurrences. (English) Zbl 1241.03025 Ann. Pure Appl. Logic 163, No. 3, 377-389 (2012). MSC: 03B47 03B70 68Q10 PDF BibTeX XML Cite \textit{G. Japaridze}, Ann. Pure Appl. Logic 163, No. 3, 377--389 (2012; Zbl 1241.03025) Full Text: DOI arXiv
Conradie, Willem; Palmigiano, Alessandra Algorithmic correspondence and canonicity for distributive modal logic. (English) Zbl 1255.03030 Ann. Pure Appl. Logic 163, No. 3, 338-376 (2012). Reviewer: Guram Bezhanishvili (Las Cruces) MSC: 03B45 03G10 06D10 06D50 PDF BibTeX XML Cite \textit{W. Conradie} and \textit{A. Palmigiano}, Ann. Pure Appl. Logic 163, No. 3, 338--376 (2012; Zbl 1255.03030) Full Text: DOI
Shafer, Paul Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes. (English) Zbl 1243.03059 Ann. Pure Appl. Logic 163, No. 3, 321-337 (2012). Reviewer: Roman Murawski (Poznań) MSC: 03D30 03D35 03F30 PDF BibTeX XML Cite \textit{P. Shafer}, Ann. Pure Appl. Logic 163, No. 3, 321--337 (2012; Zbl 1243.03059) Full Text: DOI
Diamondstone, David Low upper bounds in the LR degrees. (English) Zbl 1247.03073 Ann. Pure Appl. Logic 163, No. 3, 314-320 (2012). MSC: 03D25 03D30 03D32 68Q30 PDF BibTeX XML Cite \textit{D. Diamondstone}, Ann. Pure Appl. Logic 163, No. 3, 314--320 (2012; Zbl 1247.03073) Full Text: DOI
Fitting, Melvin Prefixed tableaus and nested sequents. (English) Zbl 1241.03021 Ann. Pure Appl. Logic 163, No. 3, 291-313 (2012). MSC: 03B45 03F07 03F03 PDF BibTeX XML Cite \textit{M. Fitting}, Ann. Pure Appl. Logic 163, No. 3, 291--313 (2012; Zbl 1241.03021) Full Text: DOI
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige Algebraic proof theory for substructural logics: cut-elimination and completions. (English) Zbl 1245.03026 Ann. Pure Appl. Logic 163, No. 3, 266-290 (2012). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 03F05 03G25 PDF BibTeX XML Cite \textit{A. Ciabattoni} et al., Ann. Pure Appl. Logic 163, No. 3, 266--290 (2012; Zbl 1245.03026) Full Text: DOI
Pagani, Michele Visible acyclic differential nets. I: Semantics. (English) Zbl 1372.03101 Ann. Pure Appl. Logic 163, No. 3, 238-265 (2012). MSC: 03F52 03F07 03B40 PDF BibTeX XML Cite \textit{M. Pagani}, Ann. Pure Appl. Logic 163, No. 3, 238--265 (2012; Zbl 1372.03101) Full Text: DOI
Souldatos, Ioannis Linear orderings and powers of characterizable cardinals. (English) Zbl 1250.03060 Ann. Pure Appl. Logic 163, No. 3, 225-237 (2012). MSC: 03C75 03C30 03C35 03C55 03E10 PDF BibTeX XML Cite \textit{I. Souldatos}, Ann. Pure Appl. Logic 163, No. 3, 225--237 (2012; Zbl 1250.03060) Full Text: DOI arXiv
Yu, Liang Characterizing strong randomness via Martin-Löf randomness. (English) Zbl 1251.03048 Ann. Pure Appl. Logic 163, No. 3, 214-224 (2012). Reviewer: Cristian S. Calude (Auckland) MSC: 03D32 68Q30 PDF BibTeX XML Cite \textit{L. Yu}, Ann. Pure Appl. Logic 163, No. 3, 214--224 (2012; Zbl 1251.03048) Full Text: DOI
Bezem, Marc; Grabmayer, Clemens; Walicki, Michał Expressive power of digraph solvability. (English) Zbl 1241.03007 Ann. Pure Appl. Logic 163, No. 3, 200-213 (2012). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03B05 03E25 03F35 03D30 05C63 PDF BibTeX XML Cite \textit{M. Bezem} et al., Ann. Pure Appl. Logic 163, No. 3, 200--213 (2012; Zbl 1241.03007) Full Text: DOI
Raghavan, Dilip; Todorcevic, Stevo Cofinal types of ultrafilters. (English) Zbl 1250.03073 Ann. Pure Appl. Logic 163, No. 3, 185-199 (2012). MSC: 03E04 03E05 03E35 54A20 PDF BibTeX XML Cite \textit{D. Raghavan} and \textit{S. Todorcevic}, Ann. Pure Appl. Logic 163, No. 3, 185--199 (2012; Zbl 1250.03073) Full Text: DOI