Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
S. Bova:
"Generalized Basic Logic, Polynomial Space, and Disjunction Property";
Vortrag: Workshop in Memoriam Franco Montagna,
Siena, Italien (eingeladen);
16.12.2015.
Kurzfassung englisch:
We report on research by Montagna and collaborators on the combinatorial and computational aspects of generalized basic logic. In the first part of the talk, we focus on the PSPACE-completeness of the tautology and entailment problems. In the second part of the talk, we discuss a syntactic relaxation of the disjunction property leading to an uncountable family of substructural logics with a PSPACE-hard tautology problem (it is known that substructural logics enjoying the full disjunction property have a PSPACE-hard tautology problem).
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.