Simone Bova and Franco Montagna

Recent Publications

Polynomial space hardness without disjunction property

2013

The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete

2009

Proof search in Hájek's basic logic

2008