Provability Logic by Kanger (2 results)
More imagesPublished by Almqvist & Wiksell, Stockholm 1957
- Softcover
Seller: BookMarx Bookstore, Steubenville, OH, U.S.A.BookMarx Bookstore
Contact seller4-star sellerLibrary Binding. Condition: Good. Family-owned bookshop in Steubenville, Ohio. Books shipped within 24 hours. Ex-library with usual marks. Paperback edition library bound in to a hardback. No marks noted in text. Binding is sound. . . . . . . TABLE OF CONTENTS: 1.) Introduction -- 2.) The Formal Language L -- 3.) Valuation -- 4.…) The Logical Calculus LC -- 5.) The Completeness and Soundness of LC -- 6.) The Effective Proof Procedure -- 7.) The General Theory of Modalities -- 8.) Provability in Some Modal Logics -- * References.
- Softcover
- First Edition
Seller: Maggs Bros. Ltd ABA, ILAB, PBFA, London, United KingdomMaggs Bros. Ltd ABA, ILAB, PBFA
Contact seller5-star sellerCondition: Used
£ 54.00
£ 27.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
First edition. 8vo. 47, [3] pp. Original buff printed wrappers (a few occasional ink marginal annotations; minor creasing to edges, else a very good copy). Stockholm, Almqvist & Wicksell, Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy 1. "Although Kanger's greatest achievements were in pure logic he also mad…e important contributions to philosophy by applying logical techniques within ethical theory, philosophy of law, philosophy of language and philosophy of science. His dissertation, Provability in Logic (1957), contains major contributions to two central areas of logic. By combining Gentzen's sequent calculus with the model theory of Tarski, he obtains new and simplified proofs of central metalogical results like Gödel's completeness theorem, Löwenheim-Skolem's theorem and Gentzen's Hauptsatz. He also develops a new semantic theory for various modal logics and connects it with sequent calculi for these logics. This work makes Kanger one of the founders of possible-worlds semantics" (Biographical Dictionary of Twentieth-Century Philosophers).
