Name Card

Full name Familienname, Vorname
Galatos, Nikolaos
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige Algebraic proof theory: Hypersequents and hypercompletionsArtikel Article 2017
2Galatos, Nikolaos From display logic to nested sequents via residuated framesPräsentation Presentation2014
3Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige Algebraic proof theory for substructural logics: Cut elimination and completionsArtikel Article2012
4Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige MacNeille Comletions of FL-algebrasArtikel Article2011
5Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige From Axioms to Analytic Rules in Nonclassical LogicsKonferenzbeitrag Inproceedings 2008