Name Card

Full name Familienname, Vorname
Galatos, Nikolaos
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige Algebraic proof theory: Hypersequents and hypercompletionsArtikel Article 2017
2Galatos, Nicolaos Embeddings into BiFL-algebras and conservativityPräsentation Presentation2014
3Galatos, Nicolaos A survey of residuated frames with connections to semirings and to display logicPräsentation Presentation2014
4Galatos, Nicolaos Proof theory for lattice-ordered groupsPräsentation Presentation2014
5Galatos, Nikolaos From display logic to nested sequents via residuated framesPräsentation Presentation2014
6Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige Algebraic proof theory for substructural logics: Cut elimination and completionsArtikel Article 2012
7Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige MacNeille Comletions of FL-algebrasArtikel Article 2011
8Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige From Axioms to Analytic Rules in Nonclassical LogicsKonferenzbeitrag Inproceedings 2008