Roffé, Ariel Jonathan Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts. (English) Zbl 1444.68288 J. Appl. Non-Class. Log. 30, No. 1, 68-91 (2020). MSC: 68V15 03B50 70A05 PDFBibTeX XMLCite \textit{A. J. Roffé}, J. Appl. Non-Class. Log. 30, No. 1, 68--91 (2020; Zbl 1444.68288) Full Text: DOI
Łyczak, Marcin The logic of modal changes LMC. (English) Zbl 1452.03060 J. Appl. Non-Class. Log. 30, No. 1, 50-67 (2020). MSC: 03B45 03A05 03B60 PDFBibTeX XMLCite \textit{M. Łyczak}, J. Appl. Non-Class. Log. 30, No. 1, 50--67 (2020; Zbl 1452.03060) Full Text: DOI
Hartonas, Chrysafis Modal translation of substructural logics. (English) Zbl 1452.03057 J. Appl. Non-Class. Log. 30, No. 1, 16-49 (2020). MSC: 03B45 03B47 03B20 PDFBibTeX XMLCite \textit{C. Hartonas}, J. Appl. Non-Class. Log. 30, No. 1, 16--49 (2020; Zbl 1452.03057) Full Text: DOI arXiv
Petrukhin, Yaroslav Axiomatization of non-associative generalisations of Hájek’s BL and psBL. (English) Zbl 1436.03160 J. Appl. Non-Class. Log. 30, No. 1, 1-15 (2020). Reviewer: Salvatore Sessa (Napoli) MSC: 03B52 03G25 06D35 PDFBibTeX XMLCite \textit{Y. Petrukhin}, J. Appl. Non-Class. Log. 30, No. 1, 1--15 (2020; Zbl 1436.03160) Full Text: DOI