Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Gentzen Calculi for Modal Propositional Logic

Language EnglishEnglish
Book Hardback
Book Gentzen Calculi for Modal Propositional Logic Francesca Poggiolesi
Libristo code: 01976920
Publishers Springer, December 2010
The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three pa... Full description
? points 411 b
61 758 Ft
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Osservazioni Istoriche ... Sopra I Sigilli Antichi De Secoli Bassi Domenico Maria Manni / Book Paperback
common.buy 7 567 Ft
Annona Reticulata-Phytochimie, activité antibactérienne et antioxydante G. Bharathi / Book Paperback
common.buy 12 761 Ft
Quarter Horses - Die größte Zuchtbuchrasse der Welt (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 11 274 Ft
Postepy reumatologii klinicznej / Book Paperback
common.buy 26 502 Ft
Celador/a Servicio Vasco de Salud-Osakidetza / Book Paperback
common.buy 29 551 Ft
To byl Arnošt Lustig František Cinger / Book Hardback
common.buy 3 902 Ft
Říkanková knížka Víly / Book Board book
common.buy 1 832 Ft
Arbeitsrecht und Satire Caroline Siegel / Book Paperback
common.buy 37 477 Ft
Deuxieme Quodlibet Alain Boureau / Book Paperback
common.buy 29 608 Ft
Grundzuge der Persoenlichkeitspsychologie Kristin Huckenbeck / Book Paperback
common.buy 6 425 Ft
Krtek 16cm s batůžkem Zdeněk Miler / Game/Toy Toy
common.buy 7 254 Ft
Schwert in Mythos Und Handwerk / ber Die Ergebnisse Neuerer Metallkundlicher Untersuchungen Alter Eisenfunde Und Ihre Bedeutung F r Die Technik Und D Franz Wever / Book Paperback
common.buy 30 422 Ft

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Gentzen Calculi for Modal Propositional Logic
Author Francesca Poggiolesi
Language English
Binding Book - Hardback
Date of issue 2010
Number of pages 224
EAN 9789048196692
ISBN 9048196698
Libristo code 01976920
Publishers Springer
Weight 672
Dimensions 247 x 181 x 21

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Computing & Information Technology > Computer science > Artificial intelligence > Computer vision
Language & Linguistics > Language: reference & general > Language: history & general works
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Chispita Service Dog Extraordinaire Richard B. Taylor / Book Paperback
common.buy 6 411 Ft
Fry's Law of Vaccination: Containing the Vaccination Acts 1867, 1871, 1874, and 1898... Danby Palmer Fry / Book Paperback
common.buy 7 567 Ft
The Nuns Of Minsk: Narrative Of Makrena Mieczyslawska, Abbess Of The Basilian Convent Of Minsk (1846) Makryna Mieczyslawska / Book Paperback
common.buy 7 945 Ft
Talismans and Charms Henry Christmas / Book Paperback
common.buy 7 567 Ft
Once Upon an Eid Aisha Saeed / Book Hardback
common.buy 6 004 Ft
Leo Learns About Life Nick Nanton / Book Hardback
common.buy 9 385 Ft
Fascination Essie Fox / Book Hardback
common.buy 6 998 Ft
Shifted Masterpiece: A Story of Love & Horror in Savannah, GA Vee Speaklife / Book Paperback
common.buy 4 039 Ft
Trial and Judgment of the Soul, for Discovering the Safety of Its Spiritual Estate. by John Kettlewell, ... a New Edition JOHN KETTLEWELL / Book Hardback
common.buy 10 540 Ft
Strategies and Tools for a Sustainable Rural Rio de Janeiro Udo Nehren / Book Hardback
common.buy 60 930 Ft
Lady Gaga and Popular Music Martin Iddon / Book Paperback
common.buy 28 845 Ft
Advances in Tourism, Technology and Systems João Vidal Carvalho / Book Paperback
common.buy 89 311 Ft
Microsoft Hyper-V Cluster Design Eric Siron / Book Paperback
common.buy 26 094 Ft
Coming soon
Warhol David Bourdon / Book Paperback
common.buy 10 242 Ft
Fashionable Clothing from the Sears Catalogs Late 1940s Tina Skinner / Book Paperback
common.buy 8 859 Ft
New
Anne Stokes Slim Calendar 2027 (Art Calendar) WALL / Calendar/Diary Calendar
common.buy 3 002 Ft
Combatting Digital Arrest Fraud and Identity Theft With AI and Decision Support Systems Brij B. Gupta / Book Paperback
common.buy 57 686 Ft
Plumbing Muscroft / Book Paperback
common.buy 29 897 Ft
Chronicle of Theophanes Harry Turtledove / Book Paperback
common.buy 12 912 Ft
Hide and Seek - Camouflage, Photography, and the Media of Reconnaissance Hanna Rose Shell / Book Hardback
common.buy 14 233 Ft
Decentralized Receding Horizon Control Tamas Keviczky / Book Paperback
common.buy 24 144 Ft
After London or Wild England Richard Jefferies / Book Paperback
common.buy 7 567 Ft
Terezin Ruth Thomson / Book Paperback
common.buy 4 579 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?