Search results for "Nikolaos Galatos"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui	Algebraic proof theory for substructural logics: Cut-elimination and completions.	Ann. Pure Appl. Logic	2012	DBLP DOI BibTeX RDF
1	Nikolaos Galatos	Generalized ordinal sums and translations.	Logic Journal of the IGPL	2011	DBLP DOI BibTeX RDF
1	Nikolaos Galatos, Hiroakira Ono	Cut elimination and strong separation for substructural logics: An algebraic approach.	Ann. Pure Appl. Logic	2010	DBLP DOI BibTeX RDF
1	Nikolaos Galatos, Constantine Tsinakis	Equivalence of consequence relations: an order-theoretic and categorical perspective.	J. Symb. Log.	2009	DBLP BibTeX RDF
1	Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui	From Axioms to Analytic Rules in Nonclassical Logics.	LICS	2008	DBLP DOI BibTeX RDF	nonclassical logics, hypersequent calculi, semantic cut-elimination, sequent calculi
1	Nikolaos Galatos, Hiroakira Ono	Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.	Studia Logica	2006	DBLP DOI BibTeX RDF	pointed residuated lattice, parametrized local deduction theorem, interpolation, Substructural logic, algebraic semantics
1	Nikolaos Galatos, Hiroakira Ono	Glivenko theorems for substructural logics over FL.	J. Symb. Log.	2006	DBLP BibTeX RDF
1	Nikolaos Galatos, James G. Raftery	Adding Involution to Residuated Structures.	Studia Logica	2004	DBLP DOI BibTeX RDF	mingle, RW, contraction, negation, residuated lattice, Residuation, expansion, involution
1	Nikolaos Galatos	Equational Bases for Joins of Residuated-lattice Varieties.	Studia Logica	2004	DBLP DOI BibTeX RDF	positive universal formulas, joins of varieties, basis of equations, residuated lattices

Displaying result #1 - #9 of 9 (100 per page; Change: )

Publications of "Nikolaos Galatos" ( http://dblp.L3S.de/Authors/Nikolaos_Galatos )