A note on the hierarchy of algebraizable logics
Tipo de Publicación:
Conference PaperOrigen:
4th World Congress on Universal Logic, Rio de Janeiro (En prensa)Proyectos:
Nuevas Publicaciones
- 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
- Efficient Operations in Feature Terms using Constraint Programming
- The proof by cases property and its variants in structural consequence relations
