Bezhanishvili, Nick; Martins, Miguel; Moraschini, Tommaso Bi-intermediate logics of trees and co-trees. (English) Zbl 07894022 Ann. Pure Appl. Logic 175, No. 10, Article ID 103490, 55 p. (2024). MSC: 06D20 06F30 06E15 03C05 03B55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Shapirovsky, Ilya B. Glivenko’s theorem, finite height, and local tabularity. (English) Zbl 1515.03107 J. Appl. Log. - IfCoLog J. Log. Appl. 8, No. 8, 2333-2347 (2021). MSC: 03B45 03B20 × Cite Format Result Cite Review PDF Full Text: arXiv
Caleiro, Carlos; Marcelino, Sérgio; Rivieccio, Umberto Characterizing finite-valuedness. (English) Zbl 1397.03026 Fuzzy Sets Syst. 345, 113-125 (2018). MSC: 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Shapirovsky, Ilya; Shehtman, Valentin Local tabularity without transitivity. (English) Zbl 1400.03051 Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 520-534 (2016). MSC: 03B45 × Cite Format Result Cite Review PDF
Shehtman, Valentin Canonical filtrations and local tabularity. (English) Zbl 1385.03027 Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 498-512 (2014). MSC: 03B45 03B44 × Cite Format Result Cite Review PDF
Simonova, Iryna G. Local-tabular expansions of provable-intuitionistic logic. (Ukrainian. English summary) Zbl 1199.03002 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2008, No. 4, 27-30 (2008). MSC: 03B20 × Cite Format Result Cite Review PDF
Humberstone, Lloyd A strange remark attributed to Gödel. (English) Zbl 1045.03002 Hist. Philos. Log. 24, No. 1, 39-44 (2003). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03-03 01A60 03B20 × Cite Format Result Cite Review PDF Full Text: DOI