Implicational (semilinear) logics I: a new hierarchy
Publication Type:
Journal ArticleSource:
Archive for Mathematical Logic, Springer Berlin / Heidelberg, Volume 49, Issue 4, p.417 - 446 (2010)Projects:
New Publications
- Unsupervised music structure annotation by time series structure features and segment similarity
- Folksonomy-based tag recommendation for collaborative tagging systems
- The quest for the basic fuzzy logic
- A time series dissimilarity measure based on minimum jump costs
- Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties
- Non-associative substructural logics: alternative axiomatization, algebraic and logical properties
- Semilinear non-associative substructural logics: completeness properties and complexity
