Lara Spendier

zbMath Openspendier.laraMaRDI QIDQ2851935

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Automated support for the investigation of paraconsistent and other logics	2015-12-11	Paper
Taming paraconsistent (and other) logics: an algorithmic approach	2015-09-17	Paper
Tools for the investigation of substructural and paraconsistent logics	2015-01-14	Paper
Hypersequent and labelled calculi for intermediate logics	2013-10-04	Paper
Standard completeness for extensions of MTL: an automated approach	2012-09-21	Paper

Research outcomes over time

This page was built for person: Lara Spendier