Sequents and Trees

Autor Andrzej Indrzejczak

Sequents and Trees - Andrzej Indrzejczak Nedostupné

Sequents and Trees

Autor Andrzej Indrzejczak

0.0 z 5 hvězdiček 0 hodnocení čtenářů

Kniha ( pevná vazba )

    • Produkt je nedostupný.
E-shopové listy

Při zaslání zboží balíčkem

K nákupu nad 99 Kč dárek zdarma v hodnotě 19 Kč

E-shopové listy

Spisy 7 - Literární žurnalistika

Při zaslání zboží balíčkem

K nákupu nad 1999 Kč dárek zdarma v hodnotě 599 Kč

Spisy 7 - Literární žurnalistika

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… Přejít na celý popis

Hodná holka Příběh, jaký by napsala Agatha Christie, kdyby chtěla, aby byl její hrdina Čech s krizí středního věku. Více informací

K tomuto produktu zákazníci kupují

Popis Hodnocení 0.0 z 5 hvězdiček 0 Vývoj ceny

Popis

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.

Sdílet

kategorie
Knihy » Cizojazyčná literatura » English literature
Témata
Nakladatel
Springer Nature Switzerland AG
Rozměr
242 x 161 x 29
jazyk
angličtina
Vazba
pevná vazba
Hmotnost
682 g
isbn
978-3-030-57144-3
Počet stran
345
datum vydání
17.12.2020
ean
9783030571443

Hodnocení a recenze čtenářů Nápověda

0.0 z 5 0 hodnocení čtenářů

0× 5 hvězdiček 0× 4 hvězdičky 0× 3 hvězdičky 0× 2 hvězdičky 0× 1 hvezdička

Přidejte své hodnocení knihy

Načíst další hodnocení

Zobrazit všechna hodnocení

Přidat hodnocení

Vývoj ceny

Vývoj ceny Nápověda

Získejte přehled o vývoji ceny za posledních 60 dní.

Maloobchodní cena Minimální prodejní cena: 0 Kč Nápověda

Články, které stojí za pozornost

Zobrazit blog

Články, které stojí za pozornost