國立虎尾科技大學 |

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Nonclassical Logics and Their Applications/ edited by Shier Ju, Alessandra Palmigiano, Minghui Ma.
Reminder of title:	Post-proceedings of the 8th International Workshop on Logic and Cognition /
other author:	Ju, Shier.
Description:	VII, 154 p. 25 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Logic. -
Online resource:	https://doi.org/10.1007/978-981-15-1342-8
ISBN:	9789811513428

Nonclassical Logics and Their Applications = Post-proceedings of the 8th International Workshop on Logic and Cognition /
Nonclassical Logics and Their ApplicationsPost-proceedings of the 8th International Workshop on Logic and Cognition /[electronic resource] :edited by Shier Ju, Alessandra Palmigiano, Minghui Ma. - 1st ed. 2020. - VII, 154 p. 25 illus.online resource. - Logic in Asia: Studia Logica Library,2364-4613. - Logic in Asia: Studia Logica Library,.

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.

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.

ISBN: 9789811513428

Standard No.: 10.1007/978-981-15-1342-8doiSubjects--Topical Terms:

558909
Logic.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Nonclassical Logics and Their Applications = Post-proceedings of the 8th International Workshop on Logic and Cognition /
LDR:03706nam a22004095i 4500 001 1021022
003 DE-He213
005 20200706112248.0
007 cr nn 008mamaa
008 210318s2020 si | s |||| 0|eng d
020 $a 9789811513428 $9 978-981-15-1342-8
024 7 $a 10.1007/978-981-15-1342-8 $2 doi
035 $a 978-981-15-1342-8
050 4 $a BC1-199
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
245 1 0 $a Nonclassical Logics and Their Applications $h [electronic resource] : $b Post-proceedings of the 8th International Workshop on Logic and Cognition / $c edited by Shier Ju, Alessandra Palmigiano, Minghui Ma.
250 $a 1st ed. 2020.
264 1 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2020.
300 $a VII, 154 p. 25 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Logic in Asia: Studia Logica Library, $x 2364-4613
505 0 $a 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.
520 $a 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.
650 0 $a Logic. $3 558909
650 0 $a Game theory. $3 556918
650 0 $a Neural networks (Computer science) . $3 1253765
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Syntax. $3 671699
650 0 $a Linguistics. $3 557829
650 2 4 $a Game Theory, Economics, Social and Behav. Sciences. $3 669497
650 2 4 $a Mathematical Models of Cognitive Processes and Neural Networks. $3 884110
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Theoretical Linguistics. $3 1103587
700 1 $a Ju, Shier. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 815646
700 1 $a Palmigiano, Alessandra. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1316624
700 1 $a Ma, Minghui. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1316625
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9789811513411
776 0 8 $i Printed edition: $z 9789811513435
776 0 8 $i Printed edition: $z 9789811513442
830 0 $a Logic in Asia: Studia Logica Library, $x 2364-4613 $3 1261685
856 4 0 $u https://doi.org/10.1007/978-981-15-1342-8
912 $a ZDB-2-REP
912 $a ZDB-2-SXPR
950 $a Religion and Philosophy (SpringerNature-41175)
950 $a Philosophy and Religion (R0) (SpringerNature-43725)