Related Books

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Language: en
Pages: 317
Authors: S. Aguzzoli
Categories: Computers
Type: BOOK - Published: 2007-10-28 - Publisher: Springer

DOWNLOAD EBOOK

Published in honor of Daniele Mundici on the occasion of his 60th birthday, the 17 revised papers of this Festschrift volume include invited extended versions o
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Language: en
Pages: 369
Authors: Ofer Arieli
Categories: Philosophy
Type: BOOK - Published: 2021-07-30 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory of non-classical logics. It includes present
Proof Theory and Algebra in Logic
Language: en
Pages: 160
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
Logic and Implication
Language: en
Pages: 465
Authors: Petr Cintula
Categories: Philosophy
Type: BOOK - Published: 2022-01-01 - Publisher: Springer Nature

DOWNLOAD EBOOK

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concen
Proof-theoretic aspects of intensional and non-classical logics
Language: en
Pages: 260
Authors: Heinrich Wansing
Categories:
Type: BOOK - Published: 1997 - Publisher:

DOWNLOAD EBOOK