Related Books
Language: en
Pages: 382
Pages: 382
Type: BOOK - Published: 2021-12-13 - Publisher: Springer Nature
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to univer
Language: en
Pages: 532
Pages: 532
Type: BOOK - Published: 2007-04-25 - Publisher: Elsevier
The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures
Language: en
Pages: 164
Pages: 164
Type: BOOK - Published: 2019-08-02 - Publisher: Springer
This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The impo
Language: en
Pages: 493
Pages: 493
Type: BOOK - Published: 2021-02-09 - Publisher: Springer Nature
This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various as
Language: en
Pages: 217
Pages: 217
Type: BOOK - Published: 2020-03-24 - Publisher: Springer
This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wi