Hyperstates on Involutive Bipartite MTL-algebras: A Preliminary Investigation -- Unification and Admissibility in Region-based Modal Logics of Space -- About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear -- Proving Decidability Via a yntactic Proof C…
This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area. Non-classical logics are logical formalisms that violate or go beyond classical logic laws, and their specific featur…
This book presents a coherent state-of-the-art survey on the area of systematic and cognitive musicology which has enjoyed dynamic growth now for many years. It is devoted to exploring the relationships between acoustics, human information processing, and culture as well as to m…
This book presents a coherent state-of-the-art survey on the area of systematic and cognitive musicology which has enjoyed dynamic growth now for many years. It is devoted to exploring the relationships between acoustics, human information processing, and culture as well as to m…
Collection of papers presented at the Sixteenth Annual Carnegie Symposium on Cognition.
Collection of papers presented at the Sixteenth Annual Carnegie Symposium on Cognition.
This book constitutes the refereed proceedings of 14th International Conference on Augmented Cognition, AC 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in July 2020. The conference was planned to be held in Copenhagen, Denmark…
