Browse
Sign on to:
My DSpace
authorized users

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, JAIST (ir-sys[at]ml.jaist.ac.jp)