Kürbis, Nils; Petrukhin, Yaroslav Normalisation for some quite interesting many-valued logics. (English) Zbl 1517.03023 Log. Log. Philos. 30, No. 3, 493-534 (2021). MSC: 03B50 03F05 PDFBibTeX XMLCite \textit{N. Kürbis} and \textit{Y. Petrukhin}, Log. Log. Philos. 30, No. 3, 493--534 (2021; Zbl 1517.03023) Full Text: DOI
Petrukhin, Yaroslav; Shangin, Vasilyi Correspondence analysis for some fragments of classical propositional logic. (English) Zbl 1477.03021 Log. Univers. 15, No. 1, 67-85 (2021). Reviewer: Branislav Boričić (Beograd) MSC: 03B05 03B22 PDFBibTeX XMLCite \textit{Y. Petrukhin} and \textit{V. Shangin}, Log. Univers. 15, No. 1, 67--85 (2021; Zbl 1477.03021) Full Text: DOI
Caleiro, Carlos; Viganò, Luca Compositional meaning in logic. (English) Zbl 1420.03006 Log. Univers. 11, No. 3, 283-295 (2017). MSC: 03-06 00B15 03B22 03B45 03B47 03B50 03B53 03F05 03G27 PDFBibTeX XMLCite \textit{C. Caleiro} and \textit{L. Viganò}, Log. Univers. 11, No. 3, 283--295 (2017; Zbl 1420.03006) Full Text: DOI Link
Haeusler, Edward Hermann Propositional logics complexity and the sub-formula property. (English) Zbl 1486.03015 Dal Lago, Ugo (ed.) et al., Proceedings of the tenth international workshop on developments of computational models, DCM 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 179, 1-16 (2015). MSC: 03B05 03B42 03B45 03B50 68Q17 PDFBibTeX XMLCite \textit{E. H. Haeusler}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 179, 1--16 (2015; Zbl 1486.03015) Full Text: arXiv Link
Caleiro, Carlos; Marcos, João; Volpe, Marco Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. (English) Zbl 1331.03024 Theor. Comput. Sci. 603, 84-110 (2015). MSC: 03B50 03B35 PDFBibTeX XMLCite \textit{C. Caleiro} et al., Theor. Comput. Sci. 603, 84--110 (2015; Zbl 1331.03024) Full Text: DOI arXiv