語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Hiroakira Ono on Substructural Logics
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Hiroakira Ono on Substructural Logics/ edited by Nikolaos Galatos, Kazushige Terui.
其他作者:
Terui, Kazushige.
面頁冊數:
XII, 375 p. 22 illus.online resource. :
Contained By:
Springer Nature eBook
標題:
Order, Lattices, Ordered Algebraic Structures. -
電子資源:
https://doi.org/10.1007/978-3-030-76920-8
ISBN:
9783030769208
Hiroakira Ono on Substructural Logics
Hiroakira Ono on Substructural Logics
[electronic resource] /edited by Nikolaos Galatos, Kazushige Terui. - 1st ed. 2022. - XII, 375 p. 22 illus.online resource. - Outstanding Contributions to Logic,232211-2766 ;. - Outstanding Contributions to Logic,7.
Chapter 1. A scientific autobiography (Hiroakira Ono) -- Part I: Expository and survey chapters -- Chapter 2. Universal algebraic methods for non-classical logics (James G. Raftery) -- Chapter 3. Abstract algebraic logic - An introductory chapter (Josep Maria Font) -- Chapter 4. Topological duality and algebraic completions (Mai Gehrke) -- Chapter 5. An algebraic glimpse at bunched implications and separation logic (Peter Jipsen and Tadeusz Litak) -- Part II: Special topics -- Chapter 6. Recognizability in Residuated Lattices (José Gil-Férez and Constantine Tsinakis) -- Chapter 7. Finite embeddability property for residuated lattices via regular languages (Rostislav Horčík). Chapter 8. Cover systems for the modalities of linear logic (Robert Goldblatt) -- Chapter 9. A negative solution to Ono’s Problem P52: Existence and disjunction properties in intermediate predicate logic (Nobu-Yuki Suzuki) -- Chapter 10. Conservative expansions of substructural logics (Jacopo Amidei, Rodolfo C. Ertola-Biraben and Franco Montagna). .
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections to computer science. It further contains specialised contributions on connections to formal languages (recognizability in residuated lattices and connections to the finite embedding property), covering systems for modal substructural logics, results on the existence and disjunction properties and finally a study of conservativity of expansions. This book will be primarily of interest to researchers working in algebraic and non-classical logic.
ISBN: 9783030769208
Standard No.: 10.1007/978-3-030-76920-8doiSubjects--Topical Terms:
670104
Order, Lattices, Ordered Algebraic Structures.
LC Class. No.: BC131-135
Dewey Class. No.: 160
Hiroakira Ono on Substructural Logics
LDR
:03386nam a22004455i 4500
001
1091735
003
DE-He213
005
20220116110338.0
007
cr nn 008mamaa
008
221228s2022 sz | s |||| 0|eng d
020
$a
9783030769208
$9
978-3-030-76920-8
024
7
$a
10.1007/978-3-030-76920-8
$2
doi
035
$a
978-3-030-76920-8
050
4
$a
BC131-135
050
4
$a
QA8.9-10.3
072
7
$a
HPL
$2
bicssc
072
7
$a
PBCD
$2
bicssc
072
7
$a
PHI000000
$2
bisacsh
072
7
$a
QDTL
$2
thema
072
7
$a
PBCD
$2
thema
082
0 4
$a
160
$2
23
245
1 0
$a
Hiroakira Ono on Substructural Logics
$h
[electronic resource] /
$c
edited by Nikolaos Galatos, Kazushige Terui.
250
$a
1st ed. 2022.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2022.
300
$a
XII, 375 p. 22 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
Outstanding Contributions to Logic,
$x
2211-2766 ;
$v
23
505
0
$a
Chapter 1. A scientific autobiography (Hiroakira Ono) -- Part I: Expository and survey chapters -- Chapter 2. Universal algebraic methods for non-classical logics (James G. Raftery) -- Chapter 3. Abstract algebraic logic - An introductory chapter (Josep Maria Font) -- Chapter 4. Topological duality and algebraic completions (Mai Gehrke) -- Chapter 5. An algebraic glimpse at bunched implications and separation logic (Peter Jipsen and Tadeusz Litak) -- Part II: Special topics -- Chapter 6. Recognizability in Residuated Lattices (José Gil-Férez and Constantine Tsinakis) -- Chapter 7. Finite embeddability property for residuated lattices via regular languages (Rostislav Horčík). Chapter 8. Cover systems for the modalities of linear logic (Robert Goldblatt) -- Chapter 9. A negative solution to Ono’s Problem P52: Existence and disjunction properties in intermediate predicate logic (Nobu-Yuki Suzuki) -- Chapter 10. Conservative expansions of substructural logics (Jacopo Amidei, Rodolfo C. Ertola-Biraben and Franco Montagna). .
520
$a
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections to computer science. It further contains specialised contributions on connections to formal languages (recognizability in residuated lattices and connections to the finite embedding property), covering systems for modal substructural logics, results on the existence and disjunction properties and finally a study of conservativity of expansions. This book will be primarily of interest to researchers working in algebraic and non-classical logic.
650
2 4
$a
Order, Lattices, Ordered Algebraic Structures.
$3
670104
650
2 4
$a
Mathematical Logic and Foundations.
$3
669393
650
1 4
$a
Mathematical Logic in Philosophy.
$3
1394243
650
0
$a
Algebra.
$2
gtt
$3
579870
650
0
$a
Mathematical logic.
$2
bicssc
$3
810627
650
0
$a
Logic, Symbolic and mathematical.
$3
527823
700
1
$a
Terui, Kazushige.
$e
editor.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1399359
700
1
$a
Galatos, Nikolaos.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
633631
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783030769192
776
0 8
$i
Printed edition:
$z
9783030769215
776
0 8
$i
Printed edition:
$z
9783030769222
830
0
$a
Outstanding Contributions to Logic,
$x
2211-2758 ;
$v
7
$3
1253494
856
4 0
$u
https://doi.org/10.1007/978-3-030-76920-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)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入