Free shipping on orders over $99
Hiroakira Ono on Substructural Logics

Hiroakira Ono on Substructural Logics

by Nikolaos Galatos and Kazushige Terui
Hardback
Publication Date: 14/01/2022

Share This Book:

  $273.07
or 4 easy payments of $68.27 with
afterpay
This item qualifies your order for FREE DELIVERY
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).
ISBN:
9783030769192
9783030769192
Category:
Algebra
Format:
Hardback
Publication Date:
14-01-2022
Language:
English
Publisher:
Springer International Publishing AG
Country of origin:
Switzerland
Dimensions (mm):
235x155mm
Weight:
0.75kg

This title is in stock with our Australian supplier and should arrive at our Sydney warehouse within 2 - 3 weeks of you placing an order.

Once received into our warehouse we will despatch it to you with a Shipping Notification which includes online tracking.

Please check the estimated delivery times below for your region, for after your order is despatched from our warehouse:

ACT Metro: 2 working days
NSW Metro: 2 working days
NSW Rural: 2-3 working days
NSW Remote: 2-5 working days
NT Metro: 3-6 working days
NT Remote: 4-10 working days
QLD Metro: 2-4 working days
QLD Rural: 2-5 working days
QLD Remote: 2-7 working days
SA Metro: 2-5 working days
SA Rural: 3-6 working days
SA Remote: 3-7 working days
TAS Metro: 3-6 working days
TAS Rural: 3-6 working days
VIC Metro: 2-3 working days
VIC Rural: 2-4 working days
VIC Remote: 2-5 working days
WA Metro: 3-6 working days
WA Rural: 4-8 working days
WA Remote: 4-12 working days

Reviews

Be the first to review Hiroakira Ono on Substructural Logics.