Books+ Search Results

Nonclassical Logics and Their Applications Post-proceedings of the 8th International Workshop on Logic and Cognition

Title
Nonclassical Logics and Their Applications [electronic resource] : Post-proceedings of the 8th International Workshop on Logic and Cognition / edited by Shier Ju, Alessandra Palmigiano, Minghui Ma.
ISBN
9789811513428
Edition
1st ed. 2020.
Publication
Singapore : Springer Singapore : Imprint: Springer, 2020.
Physical Description
1 online resource (VII, 154 p.) 25 illus.
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
Summary
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 features make them particularly suited to describing and reason about aspects of social interaction. The richness and diversity of non-classical logics mean that this area is a natural catalyst for ideas and insights from many different fields, from information theory to game theory and business science. This volume is the post-proceedings of the 8th International Conference on Logic and Cognition, held at Sun Yat-Sen University Institute of Logic and Cognition (ILC) in Guangzhou, China in December 2016. The conference series started in 2001, and is organized by the ILC, often in collaboration with various international research groups. This eighth installment was jointly organized by ILC and Alessandra Palmigiano's Applied Logic research group. The conference series aims to foster the development of effective logical tools to study social behavior from a philosophical, cognitive and formal perspective in order to challenge the field of logic in ways that open up new and exciting research directions. 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.
Variant and related titles
Springer ENIN.
Other formats
Printed edition:
Printed edition:
Printed edition:
Format
Books / Online
Language
English
Added to Catalog
February 06, 2020
Series
Logic in Asia: Studia Logica Library.
Logic in Asia: Studia Logica Library,
Contents
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.
Also listed under
Ju, Shier.
Palmigiano, Alessandra.
Ma, Minghui.
SpringerLink (Online service)
Citation

Available from:

Online
Loading holdings.
Unable to load. Retry?
Loading holdings...
Unable to load. Retry?