Authors: | Kapetanović, Miodrag Isaković-Ilić, M. |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | Substructural propositional logics admitting cut elimination | Conference: | International Congress of Mathematicians, August 22-30 2006, Madrid, Španija | Issue Date: | 2006 | Rank: | M34 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.