Franco Montagna | AC Group | TU Wienhttps://ac.notready.eu/author/franco-montagna/Franco MontagnaHugo Blox Builder (https://hugoblox.com)en-usTue, 01 Jan 2013 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngFranco Montagnahttps://ac.notready.eu/author/franco-montagna/Polynomial space hardness without disjunction propertyhttps://ac.notready.eu/publication/polynomial-space-hardness-without-disjunction-property/Tue, 01 Jan 2013 00:00:00 +0000https://ac.notready.eu/publication/polynomial-space-hardness-without-disjunction-property/The consequence relation in the logic of commutative GBL-algebras is PSPACE-completehttps://ac.notready.eu/publication/the-consequence-relation-in-the-logic-of-commutative-gbl-algebras-is-pspace-complete/Thu, 01 Jan 2009 00:00:00 +0000https://ac.notready.eu/publication/the-consequence-relation-in-the-logic-of-commutative-gbl-algebras-is-pspace-complete/Proof search in H\'ajek's basic logichttps://ac.notready.eu/publication/proof-search-in-h-ajek-s-basic-logic/Tue, 01 Jan 2008 00:00:00 +0000https://ac.notready.eu/publication/proof-search-in-h-ajek-s-basic-logic/