Concepedia

Nikolaos Galatos

NG

22

Publications

1K

Citations

18

H-Index

2003

Active since

Affiliations

University of Denver(Current)

Japan Advanced Institute of Science and Technology

Chapman University

Kyoto University

Nikolaos Galatos is an author at University of Denver specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsSemanticsComputer ScienceFormal VerificationLanguageLinguisticsDiscrete MathematicsRepresentation Theory

Publications per year

2003–2020

22

Publications

22

Generalized MV-algebras

Nikolaos Galatos, Constantine Tsinakis · Journal of Algebra · 2004 · 137 citations

From Axioms to Analytic Rules in Nonclassical Logics

Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui · Proceedings - Symposium on Logic in Computer Science · 2008 · 120 citations

Engineering, Classical Logic, Analytic Calculi +16

Cancellative residuated lattices

Patrick Bahls, James A. Cole, Nikolaos Galatos et al. · Algebra Universalis · 2003 · 99 citations

Partially Ordered Set, Lattice Theory, Lattice (Order) +1

Algebraic proof theory for substructural logics: Cut-elimination and completions

Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui · Annals of Pure and Applied Logic · 2011 · 77 citations

Engineering, Substructural Logic, Automated Reasoning +4

Residuated frames with applications to decidability

Nikolaos Galatos, Peter Jipsen · Transactions of the American Mathematical Society · 2012 · 76 citations · Full text

Algebraic Logic, Relational Semantics, Finite Model Property +13

Rows per page

1–5 of 22