Nonclassical Logics and Their Applications (eBook, PDF)

Post-proceedings of the 8th International Workshop on Logic and Cognition
Redaktion: Ju, Shier; Ma, Minghui; Palmigiano, Alessandra

• Format: PDF

Produktdetails

• Verlag: Springer Nature Singapore
• Seitenzahl: 154
• Erscheinungstermin: 31. Januar 2020
• Englisch
• ISBN-13: 9789811513428
• Artikelnr.: 58609790

Autorenporträt

Shier Ju is the director of the Institute of Logic and Cognition at the Sun Yat-Sen University (Guangzhou, China). Dr. Shier Ju focuses on the cross-discipline development of logic in connection with culture, argumentation, social interaction, language and computation. Alessandra Palmigiano holds the Chair of Logic and Management Theory at the School of Business and Economics of the Vrije Universiteit Amsterdam. The logics for social behaviour are the main focus of her research. Minghui Ma is a Professor in logic at the Institute of Logic and Cognition, Sun Yat-Sen University (Guangzhou, China). Dr. Minghui Ma focuses on the combination of proof theory, model theory and universal algebra for non-classical logics.

Inhaltsangabe

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 Calculus. The Logic of Bunched Implication.- A Quantale Interpretation of Dynamic Logic.- Relational and Algebraic Semantics of Many-Valued Modal Logic.- Matthew effects Via Dependence and Independence Logic.- Explanations on Density Elimination for Semi-linear Substructural Logics.- Generalizing Gentzen's calculi.- Information, Belief, Knowledge: Epistemic Logic Based on Information States Semantics.- Algebraic Semantics for Hybrid Logics.