JAIST Repository >

Items for Author "Galatos, Nikolaos"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 3 items.

Date of IssueTitle Authors
Jun-2006 Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FLGalatos, Nikolaos; Ono, Hiroakira
Dec-2006 Glivenko theorems for substructural logics over FLGalatos, Nikolaos; Ono, Hiroakira
17-Apr-2010 Cut elimination and strong separation for substructural logics: An algebraic approachGalatos, Nikolaos; Ono, Hiroakira

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology