Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv
Sequents and Trees
Af: Andrzej Indrzejczak Engelsk Hardback
SPAR
kr 181
Sequents and Trees
Af: Andrzej Indrzejczak Engelsk Hardback
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results.  The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained.  Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation.  Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus.

After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications.  The remaining chapters then show how sequent calculi can be extended, modified, and applied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics.

Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics.  It will also be of interest to researchers in computer science and philosophers.

Kampagne pris Velkomst pris 474 kr
Medlemspris 492 kr
Kampagnepris og medlemspris er kun for medlemmer. Du bliver automatisk medlem når du køber til medlems- og kampagnepris. Få 7 dages gratis medlemskab (herefter automatisk 89 kr/30 dage). Læs mere om fordelene
Gratis fragt
5 - 7 hverdage
10 kr
Lavt pakkegebyr
Normalpris 655 kr
Fragt: 59 kr
7 - 10 hverdage
20 kr
Pakkegebyr
Spar 181 kr
Velkommen 10%
God 15.777 anmeldelser på
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results.  The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained.  Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation.  Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus.

After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications.  The remaining chapters then show how sequent calculi can be extended, modified, and applied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics.

Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics.  It will also be of interest to researchers in computer science and philosophers.

Produktdetaljer
Sprog: Engelsk
Sider: 345
ISBN-13: 9783030571443
Indbinding: Hardback
Udgave:
ISBN-10: 3030571440
Kategori: Matematisk logik
Udg. Dato: 17 dec 2020
Længde: 29mm
Bredde: 161mm
Højde: 242mm
Oplagsdato: 17 dec 2020
Forfatter(e): Andrzej Indrzejczak
Forfatter(e) Andrzej Indrzejczak


Kategori Matematisk logik


Sprog Engelsk


Indbinding Hardback


Sider 345


Udgave


Længde 29mm


Bredde 161mm


Højde 242mm

MEDLEMSFORDELE
GRATIS FRAGT
SPAR OP TIL 90%
Andre har også købt
BOG (INDBUNDET)
Kampagne pris kr 262

kr 349
Normalpris
kr 271
Medlemspris
SPAR
kr 87
BOG (INDBUNDET)
Kampagne pris kr 199

kr 320
Normalpris
kr 211
Medlemspris
SPAR
kr 121
BOG (INDBUNDET)
Kampagne pris kr 380

kr 499
Normalpris
kr 392
Medlemspris
SPAR
kr 119
BOG (INDBUNDET)
Kampagne pris kr 919

kr 1.499
Normalpris
kr 977
Medlemspris
SPAR
kr 580
BOG (INDBUNDET)
Kampagne pris kr 148

kr 199
Normalpris
kr 153
Medlemspris
SPAR
kr 51
BOG (INDBUNDET)
Kampagne pris kr 182

kr 250
Normalpris
kr 189
Medlemspris
SPAR
kr 68
BOG (INDBUNDET)
Kampagne pris kr 29

kr 134
Normalpris
kr 40
Medlemspris
SPAR
kr 105
BOG (HÆFTET)
Kampagne pris kr 188

kr 269
Normalpris
kr 196
Medlemspris
SPAR
kr 81
BOG (INDBUNDET)
Kampagne pris kr 119

kr 120
Normalpris
kr 119
Medlemspris
SPAR
kr 1
BOG (HÆFTET)
Kampagne pris kr 27

kr 227
Normalpris
kr 47
Medlemspris
SPAR
kr 200
BOG (INDBUNDET)
Kampagne pris kr 199

kr 300
Normalpris
kr 209
Medlemspris
SPAR
kr 101
BOG (INDBUNDET)
Kampagne pris kr 203

kr 300
Normalpris
kr 213
Medlemspris
SPAR
kr 97
BOG (HARDBACK)
Kampagne pris kr 223

kr 299
Normalpris
kr 231
Medlemspris
SPAR
kr 76
BOG (INDBUNDET)
Kampagne pris kr 191

kr 300
Normalpris
kr 202
Medlemspris
SPAR
kr 109
BOG (PAPERBACK)
Kampagne pris kr 165

kr 197
Normalpris
kr 168
Medlemspris
SPAR
kr 32
BOG (INDBUNDET)
Kampagne pris kr 211

kr 299
Normalpris
kr 220
Medlemspris
SPAR
kr 88
BOG (HÆFTET)
Kampagne pris kr 164

kr 199
Normalpris
kr 168
Medlemspris
SPAR
kr 35
BOG (PAPERBACK)
Kampagne pris kr 114

kr 127
Normalpris
kr 115
Medlemspris
SPAR
kr 13
BOG (HÆFTET)
Kampagne pris kr 211

kr 299
Normalpris
kr 220
Medlemspris
SPAR
kr 88
BOG (HÆFTET)
Kampagne pris kr 207

kr 269
Normalpris
kr 213
Medlemspris
SPAR
kr 62
Vi anbefaler også
BOG (PAPERBACK)
Kampagne pris kr 338

kr 371
Normalpris
kr 341
Medlemspris
SPAR
kr 33
BOG (PAPERBACK)
Kampagne pris kr 312

kr 337
Normalpris
kr 315
Medlemspris
SPAR
kr 25
BOG (PAPERBACK)
Kampagne pris kr 312

kr 337
Normalpris
kr 315
Medlemspris
SPAR
kr 25
BOG (HARDBACK)
Kampagne pris kr 936

kr 1.014
Normalpris
kr 944
Medlemspris
SPAR
kr 78
BOG (HARDBACK)
Kampagne pris kr 397

kr 540
Normalpris
kr 411
Medlemspris
SPAR
kr 143
BOG (HARDBACK)
Kampagne pris kr 936

kr 1.014
Normalpris
kr 944
Medlemspris
SPAR
kr 78
BOG (HARDBACK)
Kampagne pris kr 1035

kr 1.126
Normalpris
kr 1.044
Medlemspris
SPAR
kr 91
BOG (HARDBACK)
Kampagne pris kr 1035

kr 1.126
Normalpris
kr 1.044
Medlemspris
SPAR
kr 91
BOG (HARDBACK)
Kampagne pris kr 936

kr 1.014
Normalpris
kr 944
Medlemspris
SPAR
kr 78
BOG (HARDBACK)
Kampagne pris kr 461

kr 529
Normalpris
kr 468
Medlemspris
SPAR
kr 68
BOG (PAPERBACK)
Kampagne pris kr 414

kr 565
Normalpris
kr 429
Medlemspris
SPAR
kr 151
BOG (PAPERBACK)
Kampagne pris kr 461

kr 529
Normalpris
kr 468
Medlemspris
SPAR
kr 68
BOG (PAPERBACK)
Kampagne pris kr 391

kr 438
Normalpris
kr 396
Medlemspris
SPAR
kr 47
BOG (PAPERBACK)
Kampagne pris kr 341

kr 458
Normalpris
kr 353
Medlemspris
SPAR
kr 117
BOG (PAPERBACK)
Kampagne pris kr 373

kr 505
Normalpris
kr 386
Medlemspris
SPAR
kr 132
BOG (PAPERBACK)
Kampagne pris kr 575

kr 675
Normalpris
kr 585
Medlemspris
SPAR
kr 100
BOG (PAPERBACK)
Kampagne pris kr 505

kr 700
Normalpris
kr 525
Medlemspris
SPAR
kr 195