Hiroakira Ono on Substructural Logics

Main
Mathematics - Logic
Hiroakira Ono on Substructural Logics

Hiroakira Ono on Substructural Logics

Name: Hiroakira Ono on Substructural Logics
ISBN: 9783030769192

Galatos, Nikolaos & Terui, Kazushige

0 / 5.0

0 comments

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

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.

Kategori:

Mathematics - Logic

Jilid:

Tahun:

2021

Penerbit:

Springer

Bahasa:

english

Halaman:

387

ISBN 10: