語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Nonclassical logics and their applic...
~
International Workshop on Logic and Cognition (2016 :)
FindBook
Google Book
Amazon
博客來
Nonclassical logics and their applications = post-proceedings of the 8th International Workshop on Logic and Cognition /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Nonclassical logics and their applications/ edited by Shier Ju, Alessandra Palmigiano, Minghui Ma.
其他題名:
post-proceedings of the 8th International Workshop on Logic and Cognition /
其他題名:
WOLC 2016
其他作者:
Ju, Shier.
團體作者:
International Workshop on Logic and Cognition
出版者:
Singapore :Springer Singapore : : 2020.,
面頁冊數:
vii, 154 p. :ill., digital ;24 cm.
內容註:
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.
Contained By:
Springer eBooks
標題:
Logic - Congresses. -
電子資源:
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 applications
post-proceedings of the 8th International Workshop on Logic and Cognition /[electronic resource] :WOLC 2016edited by Shier Ju, Alessandra Palmigiano, Minghui Ma. - Singapore :Springer Singapore :2020. - vii, 154 p. :ill., digital ;24 cm. - 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:
892582
Logic
--Congresses.
LC Class. No.: BC5
Dewey Class. No.: 160
Nonclassical logics and their applications = post-proceedings of the 8th International Workshop on Logic and Cognition /
LDR
:03361nmm a2200349 a 4500
001
2215926
003
DE-He213
005
20200706133739.0
006
m d
007
cr nn 008maaau
008
201120s2020 si s 0 eng d
020
$a
9789811513428
$q
(electronic bk.)
020
$a
9789811513411
$q
(paper)
024
7
$a
10.1007/978-981-15-1342-8
$2
doi
035
$a
978-981-15-1342-8
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
BC5
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
090
$a
BC5
$b
.I61 2016
111
2
$a
International Workshop on Logic and Cognition
$n
(8th :
$d
2016 :
$c
Guangzhou, China)
$3
3447825
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.
246
3
$a
WOLC 2016
260
$a
Singapore :
$b
Springer Singapore :
$b
Imprint: Springer,
$c
2020.
300
$a
vii, 154 p. :
$b
ill., digital ;
$c
24 cm.
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
$v
Congresses.
$3
892582
650
0
$a
Cognition
$x
Congresses.
$3
543826
650
1 4
$a
Logic.
$3
529544
650
2 4
$a
Game Theory, Economics, Social and Behav. Sciences.
$3
891103
650
2 4
$a
Mathematical Models of Cognitive Processes and Neural Networks.
$3
1619875
650
2 4
$a
Mathematical Logic and Foundations.
$3
892656
650
2 4
$a
Syntax.
$3
897045
650
2 4
$a
Theoretical Linguistics.
$3
2180747
700
1
$a
Ju, Shier.
$3
2157865
700
1
$a
Palmigiano, Alessandra.
$3
3447826
700
1
$a
Ma, Minghui.
$3
3447827
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer eBooks
830
0
$a
Logic in Asia: studia logica library.
$3
2180676
856
4 0
$u
https://doi.org/10.1007/978-981-15-1342-8
950
$a
Religion and Philosophy (Springer-41175)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9390830
電子資源
11.線上閱覽_V
電子書
EB BC5
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入