Home Home >
Reference >
Mathematics >
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Click for an excerpt

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Ivo Düntsch, Edwin Mares

Springer
Collection: Outstanding Contributions to Logic
Publication date : 2021-09-24

Voir les informations d'accessibilité

Add to basket

£119,50

Download | LCP DRM 🛈 Adobe DRM 🛈

Streaming

Add to my wish list

Louise Reader

Read on Louise Reader App.

Get £17.92 by recommending this book

This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart’s work, and an autobiographical essay by Urquhart. This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on philosophical logic and history of logic. The final section of the book contains a response to the papers by Urquhart.

Alasdair Urquhart has made extremely important contributions to a variety of fields in logic. He produced some of the earliest work on the semantics of relevant logic. He provided the undecidability of the logics R (of relevant implication) and E (of relevant entailment), as well as some of their close neighbors. He proved that interpolation fails in some of those systems. Urquhart has done very important work in complexity theory, both about the complexity of proofs in classical and some nonclassical logics. In pure algebra, hehas produced a representation theorem for lattices and some rather beautiful duality theorems. In addition, he has done important work in the history of logic, especially on Bertrand Russell, including editing Volume four of Russell’s Collected Papers.

Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.

PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette
EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)

Votre support de lecture	Format	Protection	Application
Ordinateur	-EPUB -PDF	DRM Adobe LCP	Lecture en ligne (streaming) Adobe Digital Editions(DRM Adobe) Thorium Reader (LCP)
Tablette et smartphone iOS / Android	EPUB PDF	LCP DRM Adobe	Application Louise Reader : IOS / Android(ne lit pas les fichiers protégés par Adobe DRM) Adobe Digital Edition : IOS/Android(Lit uniquement la DRM Adobe)
Liseuse	EPUB	DRM Adobe	Module de lecture de la liseuse
Liseuse Diva	EPUB	LCP DRM Adobe	Module de lecture de la liseuse Diva

Consultez l’aide pour en savoir plus.

About the book

Author

Ivo Düntsch , Edwin Mares

Imprint

Springer

Collection

Outstanding Contributions to Logic

Publication date

2021-09-24

Pages

586 pages

Print ISBN

9783030714291

Language

English

Ebook informations

EAN PDF

9783030714307

Price

£119.50

Copy count 5

Print count 58

File size 8540 Ko

Informations accessibility

EAN EPUB

9783030714307

Price

£119.50

Copy count 5

Print count 58

File size 43715 Ko

Informations accessibility

Compatibility

To check the compatibility with your devices,
see help page

About author(s)

Ivo Düntsch

Edwin Mares

You may also be interested in...