Franco Montagna

Recent Publications

Polynomial space hardness without disjunction property
Simone Bova, Franco Montagna
Theor. Comput. Sci., volume 467, pages 1-11, 2013.
bib
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
Simone Bova, Franco Montagna
Theor. Comput. Sci., volume 410, number 12-13, pages 1143-1158, 2009.
bib
Proof search in H\'ajek's basic logic
Simone Bova, Franco Montagna
ACM Trans. Comput. Log., volume 9, number 3, 2008.
bib