dblp.uni-trier.dewww.uni-trier.de

Nikolaos Galatos

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EEAgata Ciabattoni, Nikolaos Galatos, Kazushige Terui: From Axioms to Analytic Rules in Nonclassical Logics. LICS 2008: 229-240
2006
3EENikolaos Galatos, Hiroakira Ono: Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL. Studia Logica 83(1-3): 279-308 (2006)
2004
2EENikolaos Galatos: Equational Bases for Joins of Residuated-lattice Varieties. Studia Logica 76(2): 227-240 (2004)
1EENikolaos Galatos, James G. Raftery: Adding Involution to Residuated Structures. Studia Logica 77(2): 181-207 (2004)

Coauthor Index

1Agata Ciabattoni [4]
2Hiroakira Ono [3]
3James G. Raftery [1]
4Kazushige Terui [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)