Petrukhin, Yaroslav Provability multilattice logic. (English) Zbl 1517.03041 J. Appl. Non-Class. Log. 32, No. 4, 239-272 (2022). MSC: 03F45 03F30 03G10 PDFBibTeX XMLCite \textit{Y. Petrukhin}, J. Appl. Non-Class. Log. 32, No. 4, 239--272 (2022; Zbl 1517.03041) Full Text: DOI
Zamansky, A. On recent applications of paraconsistent logic: an exploratory literature review. (English) Zbl 1444.03100 J. Appl. Non-Class. Log. 29, No. 4, 382-391 (2019). MSC: 03B53 03-02 PDFBibTeX XMLCite \textit{A. Zamansky}, J. Appl. Non-Class. Log. 29, No. 4, 382--391 (2019; Zbl 1444.03100) Full Text: DOI
Grigoriev, Oleg; Petrukhin, Yaroslav Two proofs of the algebraic completeness theorem for multilattice logic. (English) Zbl 1444.03089 J. Appl. Non-Class. Log. 29, No. 4, 358-381 (2019). MSC: 03B50 03B45 03G10 PDFBibTeX XMLCite \textit{O. Grigoriev} and \textit{Y. Petrukhin}, J. Appl. Non-Class. Log. 29, No. 4, 358--381 (2019; Zbl 1444.03089) Full Text: DOI
Porello, Daniele; Troquard, N. Non-normal modalities in variants of linear logic. (English) Zbl 1398.03208 J. Appl. Non-Class. Log. 25, No. 3, 229-255 (2015). MSC: 03F52 03B45 03B47 03F05 68Q17 PDFBibTeX XMLCite \textit{D. Porello} and \textit{N. Troquard}, J. Appl. Non-Class. Log. 25, No. 3, 229--255 (2015; Zbl 1398.03208) Full Text: DOI arXiv
Kamide, Norihiro Representing any-time and program-iteration by infinitary conjunction. (English) Zbl 1398.03094 J. Appl. Non-Class. Log. 23, No. 3, 284-298 (2013). MSC: 03B45 03C75 03F05 PDFBibTeX XMLCite \textit{N. Kamide}, J. Appl. Non-Class. Log. 23, No. 3, 284--298 (2013; Zbl 1398.03094) Full Text: DOI
Wansing, Heinrich Constructive negation, implication, and co-implication. (English) Zbl 1181.03027 J. Appl. Non-Class. Log. 18, No. 2-3, 341-364 (2008). MSC: 03B53 PDFBibTeX XMLCite \textit{H. Wansing}, J. Appl. Non-Class. Log. 18, No. 2--3, 341--364 (2008; Zbl 1181.03027) Full Text: DOI
Kamide, Norihiro Towards a theory of resource: an approach based on soft exponentials. (English) Zbl 1186.03056 J. Appl. Non-Class. Log. 17, No. 1, 63-89 (2007). MSC: 03B70 03F52 PDFBibTeX XMLCite \textit{N. Kamide}, J. Appl. Non-Class. Log. 17, No. 1, 63--89 (2007; Zbl 1186.03056) Full Text: DOI