Related Books

Hiroakira Ono on Substructural Logics
Language: en
Pages: 382
Authors: Nikolaos Galatos
Categories: Philosophy
Type: BOOK - Published: 2021-12-13 - Publisher: Springer Nature

DOWNLOAD EBOOK

This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to univer
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Language: en
Pages: 532
Authors: Nikolaos Galatos
Categories: Mathematics
Type: BOOK - Published: 2007-04-25 - Publisher: Elsevier

DOWNLOAD EBOOK

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
Proof Theory and Algebra in Logic
Language: en
Pages: 164
Authors: Hiroakira Ono
Categories: Philosophy
Type: BOOK - Published: 2019-08-02 - Publisher: Springer

DOWNLOAD EBOOK

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
Mathematics, Logic, and their Philosophies
Language: en
Pages: 493
Authors: Mojtaba Mojtahedi
Categories: Philosophy
Type: BOOK - Published: 2021-02-09 - Publisher: Springer Nature

DOWNLOAD EBOOK

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
Knowledge, Proof and Dynamics
Language: en
Pages: 217
Authors: Fenrong Liu
Categories: Philosophy
Type: BOOK - Published: 2020-03-24 - Publisher: Springer

DOWNLOAD EBOOK

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