Gentzen Calculi for Modal Propositional Logic

| 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. Â

YNA2 Frankenstein everything you need to catch up, study and prepare for the 2027, 2028 exams

Mary Shelley
Paperback / softback
112 pages
was: R 285.95
now: R 251.95
Available from overseas. Usually dispatched in 14 days

York Notes Advanced offer a fresh and accessible approach to English Literature.

| more |

| add to trolley |

Leeward: A Times Historical Novel of the Year 2023

Katie Daysh
Paperback / softback
384 pages
was: R 295.95
now: R 259.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock

| more |

| add to trolley |

The Quality of Mercy

Siphiwe Gloria Ndlovu
Paperback / softback
384 pages
was: R 340.95
now: R 299.95
Stock is usually dispatched in 6-12 days from date of order

This is indeed a story of mercy and the redemption it offers.

| more |

| add to trolley |

Frankenstein

Mary Shelley
Hardback
264 pages
was: R 355.95
now: R 312.95
Available from overseas. Usually dispatched in 3 to 6 weeks

Victor Frankenstein driven by the mad dream of creating his own creature, experiments with alchemy and science to build a monster stitched together from dead remains.

| more |

| add to trolley |

| book details |