001443251 000__ 03982cam\a2200577\i\4500
001443251 001__ 1443251
001443251 003__ OCoLC
001443251 005__ 20230310003534.0
001443251 006__ m\\\\\o\\d\\\\\\\\
001443251 007__ cr\un\nnnunnun
001443251 008__ 211215s2022\\\\sz\a\\\\ob\\\\000\0\eng\d
001443251 019__ $$a1288664633$$a1288962212$$a1289252436$$a1289366577$$a1290023627$$a1294355920
001443251 020__ $$a9783030769208$$q(electronic bk.)
001443251 020__ $$a3030769208$$q(electronic bk.)
001443251 020__ $$z9783030769192
001443251 020__ $$z3030769194
001443251 0247_ $$a10.1007/978-3-030-76920-8$$2doi
001443251 035__ $$aSP(OCoLC)1288635200
001443251 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dEBLCP$$dOCLCF$$dOCLCO$$dDCT$$dOCLCO$$dOCLCQ
001443251 049__ $$aISEA
001443251 050_4 $$aQA9$$b.H57 2022
001443251 08204 $$a511.3$$223
001443251 24500 $$aHiroakira Ono on substructural logic /$$cNikolaos Galatos, Kazushige Terui, editors.
001443251 264_1 $$aCham :$$bSpringer,$$c[2022]
001443251 264_4 $$c©2022
001443251 300__ $$a1 online resource :$$billustrations
001443251 336__ $$atext$$btxt$$2rdacontent
001443251 337__ $$acomputer$$bc$$2rdamedia
001443251 338__ $$aonline resource$$bcr$$2rdacarrier
001443251 347__ $$atext file
001443251 347__ $$bPDF
001443251 4901_ $$aOutstanding contributions to logic ;$$vvolume 23
001443251 504__ $$aIncludes bibliographical references.
001443251 5050_ $$aChapter 1. A scientic 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 Onos 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).
001443251 506__ $$aAccess limited to authorized users.
001443251 520__ $$aThis volume is dedicated to Hiroakira Ono lifes 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.
001443251 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed December 28, 2021).
001443251 60010 $$aOno, Hiroakira.
001443251 650_0 $$aLogic, Symbolic and mathematical.
001443251 650_6 $$aLogique symbolique et mathématique.
001443251 655_0 $$aElectronic books.
001443251 7001_ $$aGalatos, Nikolaos,$$eeditor.
001443251 7001_ $$aTerui, Kazushige,$$eeditor.
001443251 77608 $$iPrint version:$$tHiroakira Ono on substructural logic.$$dCham : Springer, [2022]$$z3030769194$$z9783030769192$$w(OCoLC)1247836518
001443251 830_0 $$aOutstanding contributions to logic ;$$vvolume 23.
001443251 852__ $$bebk
001443251 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-76920-8$$zOnline Access$$91397441.1
001443251 909CO $$ooai:library.usi.edu:1443251$$pGLOBAL_SET
001443251 980__ $$aBIB
001443251 980__ $$aEBOOK
001443251 982__ $$aEbook
001443251 983__ $$aOnline
001443251 994__ $$a92$$bISE