0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Hiroakira Ono on Substructural Logics (Paperback, 1st ed. 2022): Nikolaos Galatos, Kazushige Terui Hiroakira Ono on Substructural Logics (Paperback, 1st ed. 2022)
Nikolaos Galatos, Kazushige Terui
R4,376 Discovery Miles 43 760 Ships in 10 - 15 working days

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.

Hiroakira Ono on Substructural Logics (Hardcover, 1st ed. 2022): Nikolaos Galatos, Kazushige Terui Hiroakira Ono on Substructural Logics (Hardcover, 1st ed. 2022)
Nikolaos Galatos, Kazushige Terui
R3,762 Discovery Miles 37 620 Ships in 12 - 19 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Expensive Poverty - Why Aid Fails And…
Greg Mills Paperback R360 R326 Discovery Miles 3 260
Iron In The Soul - The Leaders Of The…
F. A. Mouton Paperback  (1)
R108 Discovery Miles 1 080
Winged Messenger - Running Your First…
Bruce Fordyce Paperback  (1)
R331 Discovery Miles 3 310
The Legend Of Zola Mahobe - And The…
Don Lepati, Nikolaos Kirkinis Paperback  (1)
R380 R356 Discovery Miles 3 560
Butcher, Blacksmith, Acrobat, Sweep…
Peter Cossins Paperback  (1)
R395 R358 Discovery Miles 3 580
The McGlincy Killings in Campbell…
Tobin Gilman Paperback R539 R499 Discovery Miles 4 990
Goldfish Pond School - Machine Learning…
Rocket Baby Club Hardcover R506 Discovery Miles 5 060
Cricut Explore/ Maker FabricGrip Machine…
R289 R142 Discovery Miles 1 420
Blood Over Bright Haven
M.L. Wang Paperback R380 R342 Discovery Miles 3 420
Haunted Alabama Battlefields
Dale Langella Paperback R576 R525 Discovery Miles 5 250

 

Partners