Nonclassical Logics and Their Applications
Springer Verlag, Singapore
978-981-15-1344-2 (ISBN)
Chapter "The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms" of this book is available open access under a CC BY 4.0 license at link.springer.com
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.
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.
Erscheinungsdatum | 05.02.2021 |
---|---|
Reihe/Serie | Logic in Asia: Studia Logica Library |
Zusatzinfo | 25 Illustrations, black and white; VII, 154 p. 25 illus. |
Verlagsort | Singapore |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
Geisteswissenschaften ► Philosophie ► Logik | |
Mathematik / Informatik ► Mathematik ► Angewandte Mathematik | |
Mathematik / Informatik ► Mathematik ► Finanz- / Wirtschaftsmathematik | |
Schlagworte | Applied Logics • formal methods in computer science • Formal methods in linguistics • Logics for Social Behaviour • Nonclassical Logics |
ISBN-10 | 981-15-1344-9 / 9811513449 |
ISBN-13 | 978-981-15-1344-2 / 9789811513442 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich