Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact
| can't find it |

| browse books |
books
 

books

| book details |

Gentzen Calculi for Modal Propositional Logic

By (author) Francesca Poggiolesi

| on special |

normal price: R 6 692.95

Price: R 6 357.95

| book description |

The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present  the several attempts made from the 50’s until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them.  

| product details |



Normally shipped | Available from overseas. Usually dispatched in 14 days
Publisher | Springer
Published date | 2 Dec 2010
Language |
Format | Hardback
Pages | 224
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-9-0481-9669-2
Readership Age |
BISAC | philosophy / logic

| other options |

| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

Survive the AI Apocalypse: A guide for solutionists

Bronwyn Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Stock is usually dispatched in 6-12 days from date of order
Look around you is anything real or normal any more? News, images and videos created by AI are everywhere.

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only

The Colonialist: The Vision of Cecil Rhodes

William Kelleher Storey
Paperback / softback
528 pages
was: R 425.95
now: R 382.95
Usually dispatched in 6-12 days
This first comprehensive biography of Cecil Rhodes in a generation illuminates Rhodes’s vision for the expansion of imperialism in southern Africa, connecting politics and industry to internal development, and examines how this fueled a lasting, white-dominated colonial society.

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order
 
Copyright 2025 |  terms and conditions