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...
The Desiring Modes of Being Black…
Jean-Paul Rocchi Hardcover R3,137 Discovery Miles 31 370
Heaven Here - It's Closer Than You Think
Josh Adkins Hardcover R931 Discovery Miles 9 310
Human Freedom and the Values of the…
Feng Qi Hardcover R3,457 Discovery Miles 34 570
Occupational Health and Safety…
Elsjebe Mostert, Hester Nienaber Paperback R265 Discovery Miles 2 650
The Abolition of Man
C. S. Lewis Hardcover R725 R642 Discovery Miles 6 420
Language, Logic, and Mathematics in…
Jens Lemanski Hardcover R2,533 Discovery Miles 25 330
Cranfield Traditional Etching Ink…
R462 Discovery Miles 4 620
Mashies and Mash Tuns
Andrew Brown Hardcover R807 Discovery Miles 8 070
Contracting for Development - The Role…
Ruben Berrios Hardcover R2,748 Discovery Miles 27 480
Trichoderma: Agricultural Applications…
Chakravarthula Manoharachary, Harikesh Bahadur Singh, … Hardcover R7,000 Discovery Miles 70 000

 

Partners