Sign-In
Cart
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
Hardcover
Series: Studies in Universal Logic
FictionGeneral MathematicsLogic
Please select the version of book you would like to purchase.
ISBN10: 3030571440
ISBN13: 9783030571443
Publisher: Birkhauser
Published: Dec 17 2020
Pages: 345
Weight: 1.51
Height: 0.81 Width: 6.14 Depth: 9.21
Language: English
ISBN13: 9783030571443
Publisher: Birkhauser
Published: Dec 17 2020
Pages: 345
Weight: 1.51
Height: 0.81 Width: 6.14 Depth: 9.21
Language: English
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, andapplied 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.
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.
1 different editions
Also available
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
Indrzejczak, Andrzej
Paperback
$54.99
Also in
Fiction
The Boys in the Boat: Nine Americans and Their Epic Quest for Gold at the 1936 Berlin Olympics
Brown, Daniel James
Paperback
From $11.99
The Emerald Mile: The Epic Story of the Fastest Ride in History Through the Heart of the Grand Canyon
Fedarko, Kevin
Paperback
$18.99
Harvey Penick's Little Red Book: Lessons and Teachings from a Lifetime in Golf
Penick, Harvey
Hardcover
From $11.99
The Horse God Built: The Untold Story of Secretariat, the World's Greatest Racehorse
Scanlan, Lawrence
Paperback
$19.00
A Big Mess in Texas: The Miraculous, Disastrous 1952 Dallas Texans and the Craziest Untold Story in NFL History
Fleming, David
Hardcover
$29.45
Making Camp: A Visual History of Camping's Most Essential Items and Activities
Hogue, Martin
Hardcover
$25.60
Hail to the Redskins: Gibbs, the Diesel, the Hogs, and the Glory Days of D.C.'s Football Dynasty
Lazarus, Adam
Paperback
$21.99
Shattering the Glass: The Remarkable History of Women's Basketball
Grundy, Pamela
Shackelford, Susan
Paperback
$23.75
That First Season: How Vince Lombardi Took the Worst Team in the NFL and Set It on the Path to Glory
Eisenberg, John
Paperback
$19.99
Carlisle vs. Army: Jim Thorpe, Dwight Eisenhower, Pop Warner, and the Forgotten Story of Football'sgreatest Battle
Anderson, Lars
Paperback
$22.00
Urban Trails: San Francisco: Coastal Bluffs/ The Presidio/ Hilltop Parks & Stairways
Kenin, Alexandra
Paperback
$16.10
The Boys in the Boat: Nine Americans and Their Epic Quest for Gold at the 1936 Berlin Olympics
Brown, Daniel James
Hardcover
From $10.99
The Lions Finally Roar: The Ford Family, the Detroit Lions, and the Road to Redemption in the NFL
Morris, Bill
Hardcover
$28.45
The Boys in the Boat: Nine Americans and Their Epic Quest for Gold at the 1936 Berlin Olympics (Large Print Edition)
Brown, Daniel James
Paperback
$17.09
Battles at Annapolis: Two Remarkable Football Games in the Army-Navy Rivalry
Gendell, David
Paperback
$25.60
The Club: How the English Premier League Became the Wildest, Richest, Most Disruptive Force in Sports
Robinson, Joshua
Clegg, Jonathan
Paperback
$20.89
The Emerald Mile: The Epic Story of the Fastest Ride in History Through the Heart of the Grand Canyon
Fedarko, Kevin
Hardcover
$29.45
Young Woman and the Sea: How Trudy Ederle Conquered the English Channel and Inspired the World
Stout, Glenn
Paperback
$18.04
To Mock a Mockingbird: And Other Logic Puzzles Including an Amazing Adventure in Combinatory Logic
Smullyan, Raymond M.
Paperback
$24.94
The Art of Skateboarding: The History of an Urban Culture
Danjean, Philippe
Madoeuf, Stéphane
Barco, Sylvie
Hardcover
$37.99
So Many Ways to Lose: The Amazin' True Story of the New York Mets--The Best Worst Team in Sports
Gordon, Devin
Hardcover
$31.34
Football Done Right: Setting the Record Straight on the Coaches, Players, and History of the NFL
Lombardi, Michael
Paperback
$18.99
Da Bears!: How the 1985 Monsters of the Midway Became the Greatest Team in NFL History
Delsohn, Steve
Paperback
$21.00
The Boston Globe Story of the Celtics: 1946-Present: The Inside Stories and Acclaimed Reporting on the Nba's Banner Franchise
Finn, Chad
The Boston Globe
Hardcover
$30.40
Where Did Our Game Go?: Inside College Football's Billion-Dollar Transformation
Douglas, Nick
Douglas, Dean
Hardcover
$41.21
The Ancient Eight: College Football's Ivy League and the Game They Play Today
Feinstein, John
Hardcover
$28.50
A Beginner's Guide to the Roots of Yoga: How to Create a More Authentic Practice
Desai, Nikita
Paperback
$22.80
Fifty Places to Play Golf Before You Die: Golf Experts Share the World's Greatest Destinations
Santella, Chris
Hardcover
$28.49
Fighting Irish Football: The Notre Dame Tradition in Photographs
Lamb, Charles
Hogan, Elizabeth
Hardcover
$52.25
The Official History of the Tour de France (2025): Revised and Updated
Edwardes-Evans, Luke
Laget, Serge
McGrath, Andy
Hardcover
$28.45
The Giant Book of Battleships: Battleship Solitaire: 1000 Puzzles (8x8 - 9x9 -10x10)
Alzamili, Khalid
Paperback
$14.53
A People's History of Sports in the United States: 250 Years of Politics, Protest, People, and Play
Zirin, Dave
Paperback
$18.00
The End of College Football: On the Human Cost of an All-American Game
Kalman-Lamb, Nathan
Silva, Derek
Paperback
$34.93
Mastering Logical Fallacies: The Definitive Guide to Flawless Rhetoric and Bulletproof Logic
Withey, Michael
Paperback
$16.14
Faster: How a Jewish Driver, an American Heiress, and a Legendary Car Beat Hitler's Best
Bascomb, Neal
Paperback
From $9.99
Ballyhoo!: The Roughhousers, Con Artists, and Wildmen Who Invented Professional Wrestling
Langmead, Jon
Hardcover
$35.10
The Lions Finally Roar: The Detroit Lions and the Road to Redemption in the NFL
Morris, Bill
Paperback
$19.90
The Perfect Mile: Three Athletes, One Goal, and Less Than Four Minutes to Achieve It
Bascomb, Neal
Paperback
$20.89
The First Tour de France: Sixty Cyclists and Nineteen Days of Daring on the Road to Paris
Cossins, Peter
Hardcover
$40.00
Soccernomics (2022 World Cup Edition): Why European Men and American Women Win and Billionaire Owners Are Destined to Lose
Kuper, Simon
Szymanski, Stefan
Paperback
$20.89
What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles
Smullyan, Raymond M.
Paperback
$16.10
The Glory of Their Times: The Story of the Early Days of Baseball Told by the Men Who Played It
Ritter, Lawrence S.
Paperback
$18.99
If These Walls Could Talk: Pittsburgh Steelers: Stories from the Sideline, Locker Room, and Press Box
Wolfley, Craig
Wexell, Jim
Paperback
$18.95
Bigger! Better! Badder!: Wrestlemania III and the Year It All Changed
Greenberg, Keith Elliot
Paperback
$21.80
How to Watch Football: 52 Rules for Understanding the Beautiful Game, on and Off the Pitch
The Athletic, Tifo
Hardcover
$23.74
Fabric of the Game: The Stories Behind the Nhl's Names, Logos, and Uniforms
Creamer, Chris
Radom, Todd
Hardcover
$28.49
The Biography of Tottenham Hotspur: The Incredible Story of the World Famous Spurs
Welch, Julie
Hardcover
$23.75