Nikolaos Galatos
- Algebraic proof theory for substructural logics: Cut-elimination and completions
2011/10/27 by Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui · 9 citations
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Twist structures and Nelson conuclei
2021/06/18 by Manuela Busaniche, Nikolaos Galatos, Busaniche, Manuela +3 · 4 citations
Computer Science · #Advanced Algebra and Logic #Rough Sets and Fuzzy Logic #Logic, Reasoning, and Knowledge