What is LK? Vol.5. Solved Problems in Propositional Logic (Textbook Series in Symbolic Logic)

Amazon Kindle (2024)
  Copy   BIBTEX

Abstract

LK is much more difficult than NK, and to make matters worse, Gentzen's intention is still unclear when it comes to that system (LK). After long surveys conducted from Vol.1 to Vol.4, all of which shares the common title What is LK?, this fifth volume finally handles the solved problems in the realm of propositional logic in LK.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,225

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

What is LK? Vol.3. Operational Inference-Figures for Propositional Logic (Textbook Series in Symbolic Logic).Yusuke Kaneko - 2024 - Amazon Kindle.
What is LK? Vol.1. Sequent (Textbook Series in Symbolic Logic).Yusuke Kaneko - 2023 - Amazon Kindle.
What is LK? Vol.2. Structural Inference-Figures (Textbook Series in Symbolic Logic).Yusuke Kaneko - 2024 - Amazon Kindle.
What is LK? Vol.4. Operational Inference-Figures for Predicate Logic (Textbook Series in Symbolic Logic).Yusuke Kaneko - 2024 - Japan: Amazon Kindle.
Lower Bounds to the size of constant-depth propositional proofs.Jan Krajíček - 1994 - Journal of Symbolic Logic 59 (1):73-86.
Relative efficiency of propositional proof systems: resolution vs. cut-free LK.Noriko H. Arai - 2000 - Annals of Pure and Applied Logic 104 (1-3):3-16.
Proofs with monotone cuts.Emil Jeřábek - 2012 - Mathematical Logic Quarterly 58 (3):177-187.
Proof complexity of propositional default logic.Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas & Heribert Vollmer - 2011 - Archive for Mathematical Logic 50 (7-8):727-742.
Separation results for the size of constant-depth propositional proofs.Arnold Beckmann & Samuel R. Buss - 2005 - Annals of Pure and Applied Logic 136 (1-2):30-55.
Focusing Gentzen’s LK Proof System.Chuck Liang & Dale Miller - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 275-313.

Analytics

Added to PP
2024-08-24

Downloads
7 (#1,636,548)

6 months
7 (#704,497)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yusuke Kaneko
Meiji University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references