Logic Seminar: Wednesday, September 30, 2026, at 12.15–14.00. Minna Hirvonen: Axiomatizations of implication problems in semiring team semantics. University of Helsinki, Exactum (Pietari Kalmin katu 5), room C124. wiki.helsinki.fi/xwiki/bin/view/Log…
wiki.helsinki.fi
Seminar - XWiki
Seminar