Bova, Simone; Montagna, Franco Polynomial space hardness without disjunction property. (English) Zbl 1298.68097 Theor. Comput. Sci. 467, 1-11 (2013). Reviewer: Gemma Robles (León) MSC: 68Q17 03B70 03B47 03G25 08A70 PDFBibTeX XMLCite \textit{S. Bova} and \textit{F. Montagna}, Theor. Comput. Sci. 467, 1--11 (2013; Zbl 1298.68097) Full Text: DOI
Bova, Simone; Montagna, Franco The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. (English) Zbl 1159.03045 Theor. Comput. Sci. 410, No. 12-13, 1143-1158 (2009). MSC: 03G25 03B52 03D15 06F05 68Q17 PDFBibTeX XMLCite \textit{S. Bova} and \textit{F. Montagna}, Theor. Comput. Sci. 410, No. 12--13, 1143--1158 (2009; Zbl 1159.03045) Full Text: DOI
Bova, Simone; Montagna, Franco Proof search in Hájek’s basic logic. (English) Zbl 1367.03024 ACM Trans. Comput. Log. 9, No. 3, Article No. 21, 26 p. (2008). MSC: 03B35 03B52 PDFBibTeX XMLCite \textit{S. Bova} and \textit{F. Montagna}, ACM Trans. Comput. Log. 9, No. 3, Article No. 21, 26 p. (2008; Zbl 1367.03024) Full Text: DOI arXiv