Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact

| browse books |
books
 

books

| book details |

Gentzen Calculi for Modal Propositional Logic

By (author) Francesca Poggiolesi

| on special |

normal price: R 6 287.95

Price: R 5 658.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 |

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 450.95
now: R 405.95
Stock is usually dispatched in 6-12 days from date of order

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages


Enquiries only
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?

Remarkably Bright Creatures

Shelby Van Pelt
Paperback / softback
384 pages
was: R 523.95
now: R 471.95
Available from overseas. Usually dispatched in 14 days

Dungeon Crawler Carl

Matt Dinniman
Paperback / softback
480 pages
was: R 523.95
now: R 461.95
Available from overseas. Usually dispatched in 14 days
Copyright 2026 |  terms and conditions