Wcisło, Bartosz Compositional truth with propositional tautologies and quantifier-free correctness. (English) Zbl 1537.03091 Arch. Math. Logic 63, No. 1-2, 239-257 (2024). Reviewer: Roman Kossak (New York) MSC: 03H15 03C62 03F30 03A05 03B30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Wcisło, Bartosz Classical determinate truth without induction. arXiv:2408.01198 Preprint, arXiv:2408.01198 [math.LO] (2024). MSC: 03H15 03F30 03C62 03A05 × Cite Format Result Cite Full Text: arXiv OA License
Wcisło, Bartosz Saturation properties for compositional truth with propositional correctness. arXiv:2405.13942 Preprint, arXiv:2405.13942 [math.LO] (2024). MSC: 03H15 03C62 03F30 × Cite Format Result Cite Full Text: arXiv OA License
Wcisło, Bartosz Truth and collection. arXiv:2403.19367 Preprint, arXiv:2403.19367 [math.LO] (2024). MSC: 03H15 03F30 03C62 03A05 × Cite Format Result Cite Full Text: arXiv OA License
Cieśliński, Cezary; Łełyk, Mateusz; Wcisło, Bartosz The two halves of disjunctive correctness. (English) Zbl 1523.03031 J. Math. Log. 23, No. 2, Article ID 2250026, 28 p. (2023). Reviewer: Roman Kossak (New York) MSC: 03H15 03F30 03C62 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Łełyk, Mateusz; Wcisło, Bartosz Universal properties of truth. arXiv:2304.00370 Preprint, arXiv:2304.00370 [math.LO] (2023). MSC: 03H15 03F30 03C62 × Cite Format Result Cite Full Text: arXiv OA License
Wcisło, Bartosz Full satisfaction classes, definability, and automorphisms. (English) Zbl 1542.03086 Notre Dame J. Formal Logic 63, No. 2, 143-163 (2022). MSC: 03H15 03C62 03F35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kossak, Roman; Wcisło, Bartosz Disjunctions with stopping conditions. (English) Zbl 1539.03204 Bull. Symb. Log. 27, No. 3, 231-253 (2021). MSC: 03H15 03C62 03F30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Łełyk, Mateusz; Wcisło, Bartosz Local collection and end-extensions of models of compositional truth. (English) Zbl 1473.03047 Ann. Pure Appl. Logic 172, No. 6, Article ID 102941, 22 p. (2021). Reviewer: Roman Kossak (New York) MSC: 03H15 03F30 03C62 03A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Enayat, Ali; Łełyk, Mateusz; Wcisło, Bartosz Truth and feasible reducibility. (English) Zbl 1444.03164 J. Symb. Log. 85, No. 1, 367-421 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03F30 03C62 03D15 03H15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Łełyk, Mateusz; Wcisło, Bartosz Models of positive truth. (English) Zbl 1454.03092 Rev. Symb. Log. 12, No. 1, 144-172 (2019). Reviewer: Roman Kossak (New York) MSC: 03H15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Łełyk, Mateusz; Wcisło, Bartosz Models of weak theories of truth. (English) Zbl 1417.03237 Arch. Math. Logic 56, No. 5-6, 453-474 (2017). MSC: 03C62 03H15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License