Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23) - Image 1

£97.00

Springer Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)

Name: Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)
Brand: Springer
Price: 97.0 GBP
Availability: InStock

Algebra

Price History & Forecast

Last 31 days • 31 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 31 days • 1 price levels

Days at Price

Price Analysis

Most common price: £97 (31 days, 100.0%)

Price range: £97 - £97

Price levels: 1 different prices over 31 days

Description

Product Description 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. From the Back Cover 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. About the Author Nikolaos Galatos received his BS from Aristotle University in Greece and is MS and PhD in Mathematics (2003) from Vanderbilt University in the US. He has held Assistant Professor positions at the Japan Institute of Science and Technology and at Vanderbilt University. Since 2007 he is employed at the University of Denver where he is Professor of Mathematics. His area of research is at the intersection of Universal Algebra, Algebraic Logic and Proof Theory. His work has focused on residuated lattices and substructural logics, exploring the interplay between order algebra and proof theory. He has published more than thirty research articles, served as an editor for a special issue, and coauthored a book. Kazushige Terui received his BA, MS and PhD in Philosophy (2002) from Keio University. He has been an Associate Professor at the National Institute of Informatics in Tokyo and many other visiting positions in Europe. Since 2008 he is an Associate Professor at the Research Institute for Mathematical Sciences at Kyoto University. His research interests and work areas include Non-classical Logics, Logics in Computer Science, Lambda Calculus, Type Theory, as well as implicit computational complexity. He has published more than thirty articles and served as a program committee member for numerous conferences.

Product Specifications

Brand: Springer
Format: Hardcover
ASIN: 3030769194
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Algebra
Domain: Amazon UK
Release Date: 14 December 2021
Listed Since: 15 August 2020

Barcode

No barcode data available

Springer Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics: 20 (Outstanding Contributions to Logic, 20)

Handbook of Philosophical Logic: Volume 8

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)

Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)

Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir: 49 (Logic, Epistemology, and the Unity of Science, 49)

Agency, Norms, Inquiry, and Artifacts: Essays in Honor of Risto Hilpinen: 454 (Synthese Library)

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)

Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)

Logic in High Definition: Trends in Logical Semantics: 56

Language Computability and Formal Language Theory

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Springer Well-Quasi Orders in Computation, Logic and Reasoning

Reversibility and Universality: Essays Presented to Kenichi Morita on the Occasion of his 70th Birthday: 30 (Emergence, Complexity and Computation, 30)

Advances in Unconventional Computing: Volume 1: Theory: 22 (Emergence, Complexity and Computation, 22)

Springer Computational Invariant Theory: 130 Mathematics Book

Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)