Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv

Proof Theory

SPAR
kr 212

Proof Theory

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic.

In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and intuitionistic logics. She then presents other non-classical logics and meta-logical results, including decidability results obtained specifically using sequent calculus formalizations of logics.

The book is suitable for a wide audience and can be used in advanced undergraduate or graduate courses. Computer scientists will discover intriguing connections between sequent calculi and resolution as well as between sequent calculi and typed systems. Those interested in the constructive approach will find formalizations of intuitionistic logic and two calculi for linear logic. Mathematicians and philosophers will welcome the treatment of a range of variations on calculi for classical logic. Philosophical logicians will be interested in the calculi for relevance logics while linguists will appreciate the detailed presentation of Lambek calculi and their extensions.

Eksklusiv medlemspris 971 kr
Medlemspris 992 kr
Denne pris er kun for medlemmer. Du bliver automatisk medlem når du køber til denne pris. Prøv 7 dages gratis medlemskab (herefter automatisk 89 kr/30 dage). Læs mere om fordelene
Gratis fragt
23 - 25 hverdage
10 kr
Lavt pakkegebyr
Normalpris 1.183 kr
Fragt: 59 kr
23 - 25 hverdage
20 kr
Pakkegebyr
Spar 212 kr
Se vores konkurrenters priser her
God 15.881 anmeldelser på

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic.

In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and intuitionistic logics. She then presents other non-classical logics and meta-logical results, including decidability results obtained specifically using sequent calculus formalizations of logics.

The book is suitable for a wide audience and can be used in advanced undergraduate or graduate courses. Computer scientists will discover intriguing connections between sequent calculi and resolution as well as between sequent calculi and typed systems. Those interested in the constructive approach will find formalizations of intuitionistic logic and two calculi for linear logic. Mathematicians and philosophers will welcome the treatment of a range of variations on calculi for classical logic. Philosophical logicians will be interested in the calculi for relevance logics while linguists will appreciate the detailed presentation of Lambek calculi and their extensions.

Produktdetaljer
Sprog: Engelsk
Sider: 386
ISBN-13: 9781466564664
Indbinding: Hardback
Udgave:
ISBN-10: 1466564660
Kategori: Matematisk logik
Udg. Dato: 20 aug 2014
Længde: 25mm
Bredde: 157mm
Højde: 235mm
Forlag: Taylor & Francis Inc
Oplagsdato: 20 aug 2014
Forfatter(e) Katalin (University of Alberta Bimbo, Katalin Bimbo


Kategori Matematisk logik


Sprog Engelsk


Indbinding Hardback


Sider 386


Udgave


Længde 25mm


Bredde 157mm


Højde 235mm


Udg. Dato 20 aug 2014


Oplagsdato 20 aug 2014

MEDLEMSFORDELE
GRATIS FRAGT
SPAR OP TIL 90%
Andre har også købt
BOG (INDBUNDET)
Eksklusiv medlemspris kr 380

kr 499
Normalpris
kr 392
Medlemspris
SPAR
kr 119
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (HÆFTET)
Eksklusiv medlemspris kr 200

kr 280
Normalpris
kr 208
Medlemspris
SPAR
kr 80
BOG (HÆFTET)
Eksklusiv medlemspris kr 182

kr 250
Normalpris
kr 189
Medlemspris
SPAR
kr 68
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 320
Normalpris
kr 211
Medlemspris
SPAR
kr 121
BOG (HÆFTET)
Eksklusiv medlemspris kr 184

kr 249
Normalpris
kr 191
Medlemspris
SPAR
kr 65
BOG (HÆFTET)
Eksklusiv medlemspris kr 172

kr 249
Normalpris
kr 180
Medlemspris
SPAR
kr 77
BOG (INDBUNDET)
Eksklusiv medlemspris kr 184

kr 299
Normalpris
kr 196
Medlemspris
SPAR
kr 115
BOG (INDBUNDET)
Eksklusiv medlemspris kr 208

kr 299
Normalpris
kr 217
Medlemspris
SPAR
kr 91
BOG (INDBUNDET)
Eksklusiv medlemspris kr 220

kr 320
Normalpris
kr 230
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 262

kr 349
Normalpris
kr 271
Medlemspris
SPAR
kr 87
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (INDBUNDET)
Eksklusiv medlemspris kr 237

kr 349
Normalpris
kr 248
Medlemspris
SPAR
kr 112
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (PAPERBACK)
Eksklusiv medlemspris kr 565

kr 883
Normalpris
kr 597
Medlemspris
SPAR
kr 318
BOG (HÆFTET)
Eksklusiv medlemspris kr 249

kr 329
Normalpris
kr 257
Medlemspris
SPAR
kr 80
BOG (INDBUNDET)
Eksklusiv medlemspris kr 329

kr 499
Normalpris
kr 346
Medlemspris
SPAR
kr 170
BOG (HÆFTET)
Eksklusiv medlemspris kr 191

kr 269
Normalpris
kr 199
Medlemspris
SPAR
kr 78
BOG (INDBUNDET)
Eksklusiv medlemspris kr 178

kr 270
Normalpris
kr 187
Medlemspris
SPAR
kr 92
BOG (INDBUNDET)
Eksklusiv medlemspris kr 167

kr 250
Normalpris
kr 175
Medlemspris
SPAR
kr 83
Vi anbefaler også
BOG (HARDBACK)
Eksklusiv medlemspris kr 858

kr 1.036
Normalpris
kr 876
Medlemspris
SPAR
kr 178
BOG (HARDBACK)
Eksklusiv medlemspris kr 796

kr 957
Normalpris
kr 812
Medlemspris
SPAR
kr 161
BOG (HARDBACK)
Eksklusiv medlemspris kr 901

kr 1.092
Normalpris
kr 920
Medlemspris
SPAR
kr 191
BOG (HARDBACK)
Eksklusiv medlemspris kr 402

kr 450
Normalpris
kr 407
Medlemspris
SPAR
kr 48
BOG (HARDBACK)
Eksklusiv medlemspris kr 814

kr 980
Normalpris
kr 831
Medlemspris
SPAR
kr 166
BOG (HARDBACK)
Eksklusiv medlemspris kr 814

kr 980
Normalpris
kr 831
Medlemspris
SPAR
kr 166
BOG (HARDBACK)
Eksklusiv medlemspris kr 796

kr 957
Normalpris
kr 812
Medlemspris
SPAR
kr 161
BOG (HARDBACK)
Eksklusiv medlemspris kr 971

kr 1.183
Normalpris
kr 992
Medlemspris
SPAR
kr 212
BOG (HARDBACK)
Eksklusiv medlemspris kr 814

kr 980
Normalpris
kr 831
Medlemspris
SPAR
kr 166
BOG (PAPERBACK)
Eksklusiv medlemspris kr 919

kr 1.239
Normalpris
kr 951
Medlemspris
SPAR
kr 320
BOG (HARDBACK)
Eksklusiv medlemspris kr 791

kr 1.014
Normalpris
kr 813
Medlemspris
SPAR
kr 223
BOG (HARDBACK)
Eksklusiv medlemspris kr 958

kr 1.036
Normalpris
kr 966
Medlemspris
SPAR
kr 78
BOG (PAPERBACK)
Eksklusiv medlemspris kr 656

kr 777
Normalpris
kr 668
Medlemspris
SPAR
kr 121
BOG (HARDBACK)
Eksklusiv medlemspris kr 858

kr 1.036
Normalpris
kr 876
Medlemspris
SPAR
kr 178
BOG (PAPERBACK)
Eksklusiv medlemspris kr 682

kr 810
Normalpris
kr 695
Medlemspris
SPAR
kr 128
BOG (PAPERBACK)
Eksklusiv medlemspris kr 595

kr 698
Normalpris
kr 605
Medlemspris
SPAR
kr 103
BOG (HARDBACK)
Eksklusiv medlemspris kr 1086

kr 1.183
Normalpris
kr 1.096
Medlemspris
SPAR
kr 97
BOG (HARDBACK)
Eksklusiv medlemspris kr 971

kr 1.183
Normalpris
kr 992
Medlemspris
SPAR
kr 212
BOG (HARDBACK)
Eksklusiv medlemspris kr 796

kr 957
Normalpris
kr 812
Medlemspris
SPAR
kr 161