Lara Spendier

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Cut Elimination

Valued Semantics

Propositional Calculus

Top Venues

ACM Trans. Comput. Log.

Publications

Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky
Taming Paraconsistent (and Other) Logics: An Algorithmic Approach. ACM Trans. Comput. Log. 16 (1) (2014)
Agata Ciabattoni, Lara Spendier
Tools for the Investigation of Substructural and Paraconsistent Logics. JELIA (2014)
Agata Ciabattoni, Paolo Maffezioli, Lara Spendier
Hypersequent and Labelled Calculi for Intermediate Logics. TABLEAUX (2013)
Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky
Automated Support for the Investigation of Paraconsistent and Other Logics. LFCS (2013)
Paolo Baldi, Agata Ciabattoni, Lara Spendier
Standard Completeness for Extensions of MTL: An Automated Approach. WoLLIC (2012)
Robert Barta, Thomas Bleier, Lara Spendier
Semantic SOS over Virtual Topic Maps. South Afr. Comput. J. 43 (2009)