Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007119026> ?p ?o ?g. }
- W2007119026 abstract "This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians." @default.
- W2007119026 created "2016-06-24" @default.
- W2007119026 creator A5050687353 @default.
- W2007119026 creator A5051669490 @default.
- W2007119026 date "2014-06-12" @default.
- W2007119026 modified "2023-09-25" @default.
- W2007119026 title "Proof Analysis: A Contribution to Hilbert's Last Problem" @default.
- W2007119026 cites W1224951838 @default.
- W2007119026 cites W135550357 @default.
- W2007119026 cites W144641616 @default.
- W2007119026 cites W1482262189 @default.
- W2007119026 cites W1482532876 @default.
- W2007119026 cites W1483339275 @default.
- W2007119026 cites W1483568252 @default.
- W2007119026 cites W1483737907 @default.
- W2007119026 cites W1485574327 @default.
- W2007119026 cites W1488538795 @default.
- W2007119026 cites W1489961769 @default.
- W2007119026 cites W1491813684 @default.
- W2007119026 cites W1500674647 @default.
- W2007119026 cites W1503413362 @default.
- W2007119026 cites W1505349735 @default.
- W2007119026 cites W1506504107 @default.
- W2007119026 cites W1507875038 @default.
- W2007119026 cites W1528233644 @default.
- W2007119026 cites W1534873969 @default.
- W2007119026 cites W1543339683 @default.
- W2007119026 cites W1568501149 @default.
- W2007119026 cites W1570374618 @default.
- W2007119026 cites W1580868918 @default.
- W2007119026 cites W1594484494 @default.
- W2007119026 cites W1601452436 @default.
- W2007119026 cites W1607769879 @default.
- W2007119026 cites W1699512023 @default.
- W2007119026 cites W1734944212 @default.
- W2007119026 cites W176661328 @default.
- W2007119026 cites W176805329 @default.
- W2007119026 cites W1795577507 @default.
- W2007119026 cites W1939483552 @default.
- W2007119026 cites W1974866079 @default.
- W2007119026 cites W1977180425 @default.
- W2007119026 cites W1983065584 @default.
- W2007119026 cites W1984799723 @default.
- W2007119026 cites W1991947308 @default.
- W2007119026 cites W1994532891 @default.
- W2007119026 cites W1995718667 @default.
- W2007119026 cites W1997535993 @default.
- W2007119026 cites W2000451268 @default.
- W2007119026 cites W2000863671 @default.
- W2007119026 cites W2006400179 @default.
- W2007119026 cites W2013281463 @default.
- W2007119026 cites W2014377715 @default.
- W2007119026 cites W2016732053 @default.
- W2007119026 cites W2023455024 @default.
- W2007119026 cites W2023863745 @default.
- W2007119026 cites W2028119090 @default.
- W2007119026 cites W2032386884 @default.
- W2007119026 cites W2034070758 @default.
- W2007119026 cites W2036161385 @default.
- W2007119026 cites W2037693339 @default.
- W2007119026 cites W2037922190 @default.
- W2007119026 cites W2039977878 @default.
- W2007119026 cites W2041053214 @default.
- W2007119026 cites W2041248160 @default.
- W2007119026 cites W2041585656 @default.
- W2007119026 cites W2047063760 @default.
- W2007119026 cites W2051730154 @default.
- W2007119026 cites W2052270606 @default.
- W2007119026 cites W2052882335 @default.
- W2007119026 cites W2052923646 @default.
- W2007119026 cites W2053856951 @default.
- W2007119026 cites W2057502281 @default.
- W2007119026 cites W2058973858 @default.
- W2007119026 cites W2059933820 @default.
- W2007119026 cites W2060230835 @default.
- W2007119026 cites W2067558609 @default.
- W2007119026 cites W2074551833 @default.
- W2007119026 cites W2075277371 @default.
- W2007119026 cites W2076638174 @default.
- W2007119026 cites W2084684966 @default.
- W2007119026 cites W2085089824 @default.
- W2007119026 cites W2085424246 @default.
- W2007119026 cites W2090663022 @default.
- W2007119026 cites W2096482476 @default.
- W2007119026 cites W2112784644 @default.
- W2007119026 cites W2113711982 @default.
- W2007119026 cites W2115755485 @default.
- W2007119026 cites W2131181713 @default.
- W2007119026 cites W2136357238 @default.
- W2007119026 cites W2137734604 @default.
- W2007119026 cites W2142703483 @default.
- W2007119026 cites W2144488427 @default.
- W2007119026 cites W2148186563 @default.
- W2007119026 cites W2151773188 @default.
- W2007119026 cites W2153037342 @default.
- W2007119026 cites W2155581733 @default.
- W2007119026 cites W2166222323 @default.
- W2007119026 cites W2169882082 @default.
- W2007119026 cites W2210256781 @default.
- W2007119026 cites W2282573237 @default.