東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Hiroakira Ono on substructural logics

Galatos, Nikolaos.

FindBook

Google Book

Amazon

博客來

Hiroakira Ono on substructural logics

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Hiroakira Ono on substructural logics/ edited by Nikolaos Galatos, Kazushige Terui.
其他作者:	Galatos, Nikolaos.
出版者:	Cham :Springer International Publishing : : 2022.,
面頁冊數:	xii, 375 p. :ill., digital ;24 cm.
內容註:	Chapter 1. A scientiﬁc 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 (Jose Gil-Ferez and Constantine Tsinakis) -- Chapter 7. Finite embeddability property for residuated lattices via regular languages (Rostislav Horcik) 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)
Contained By:	Springer Nature eBook
標題:	Logic, Symbolic and mathematical. -
電子資源:	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. - Cham :Springer International Publishing :2022. - xii, 375 p. :ill., digital ;24 cm. - Outstanding contributions to logic,v. 232211-2766 ;. - Outstanding contributions to logic ;v. 23..

Chapter 1. A scientiﬁc 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 (Jose Gil-Ferez and Constantine Tsinakis) -- Chapter 7. Finite embeddability property for residuated lattices via regular languages (Rostislav Horcik) 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--Personal Names:

2157867
Ono, Hiroakira.
Subjects--Topical Terms:

532051
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .H57 2022

Dewey Class. No.: 511.3

Hiroakira Ono on substructural logics
LDR:02928nmm a2200337 a 4500 001 2297899
003 DE-He213
005 20211213125253.0
006 m d
007 cr nn 008maaau
008 230324s2022 sz s 0 eng d
020 $a 9783030769208 $q (electronic bk.)
020 $a 9783030769192 $q (paper)
024 7 $a 10.1007/978-3-030-76920-8 $2 doi
035 $a 978-3-030-76920-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9 $b .H57 2022
072 7 $a HP $2 bicssc
072 7 $a PHI000000 $2 bisacsh
072 7 $a QD $2 thema
082 0 4 $a 511.3 $2 23
090 $a QA9 $b .H668 2022
245 0 0 $a Hiroakira Ono on substructural logics $h [electronic resource] / $c edited by Nikolaos Galatos, Kazushige Terui.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a xii, 375 p. : $b ill., digital ; $c 24 cm.
490 1 $a Outstanding contributions to logic, $x 2211-2766 ; $v v. 23
505 0 $a Chapter 1. A scientiﬁc 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 (Jose Gil-Ferez and Constantine Tsinakis) -- Chapter 7. Finite embeddability property for residuated lattices via regular languages (Rostislav Horcik) 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.
600 1 0 $a Ono, Hiroakira. $3 2157867
650 0 $a Logic, Symbolic and mathematical. $3 532051
650 1 4 $a Philosophy, general. $3 2162493
650 2 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Order, Lattices, Ordered Algebraic Structures. $3 896039
700 1 $a Galatos, Nikolaos. $3 1641015
700 1 $a Terui, Kazushige. $3 3593884
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Outstanding contributions to logic ; $v v. 23. $3 3593885
856 4 0 $u https://doi.org/10.1007/978-3-030-76920-8
950 $a Religion and Philosophy (SpringerNature-41175)