Robles, Gemma; Méndez, José M. A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\). (English) Zbl 1496.03110 J. Logic Lang. Inf. 30, No. 1, 117-138 (2021). MSC: 03B53 03B20 03B50 PDFBibTeX XMLCite \textit{G. Robles} and \textit{J. M. Méndez}, J. Logic Lang. Inf. 30, No. 1, 117--138 (2021; Zbl 1496.03110) Full Text: DOI
Kertész, András; Rákosi, Csilla Paraconsistency and plausible argumentation in generative grammar: A case study. (English) Zbl 1305.03026 J. Logic Lang. Inf. 22, No. 2, 195-230 (2013). MSC: 03B65 03B53 91F20 PDFBibTeX XMLCite \textit{A. Kertész} and \textit{C. Rákosi}, J. Logic Lang. Inf. 22, No. 2, 195--230 (2013; Zbl 1305.03026) Full Text: DOI Link
Kamide, Norihiro Phase semantics and Petri net interpretation for resource-sensitive strong negation. (English) Zbl 1159.03329 J. Logic Lang. Inf. 15, No. 4, 371-401 (2006). MSC: 03F52 68Q85 92C50 PDFBibTeX XMLCite \textit{N. Kamide}, J. Logic Lang. Inf. 15, No. 4, 371--401 (2006; Zbl 1159.03329) Full Text: DOI