What is LK? Vol.1. Sequent (Textbook Series in Symbolic Logic)

Amazon Kindle (2023)
  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). This book, Vol.1 of the series titled What is LK?, tackles this issue, focusing on the sequent, the most enigmatic notion we find in LK. The dependence-relation we find in NK shall play a crucial role in that investigation. The style is typically textbook-like, so readers can learn the system of LK, using this series as a guidance, too.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

Symbolic Logic Study Guide (a textbook).Xinli Wang - 2009 - University Readers.
A Substructural Gentzen Calculus for Orthomodular Quantum Logic.Davide Fazio, Antonio Ledda, Francesco Paoli & Gavin St John - 2023 - Review of Symbolic Logic 16 (4):1177-1198.
Elementary symbolic logic.William Gustason - 1973 - New York,: Holt, Rinehart and Winston. Edited by Dolph E. Ulrich.
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen’s Sequent Calculus with Equality.F. Parlamento & F. Previale - forthcoming - Review of Symbolic Logic:1-32.
Review: William H. Halberstadt, An Introduction to Modern Logic. An Elementary Textbook of Symbolic Logic. [REVIEW]Theodore Hailperin - 1964 - Journal of Symbolic Logic 29 (1):43-43.
William H. Halberstadt. An introduction to modern logic. An elementary textbook of symbolic logic. Harper & Brothers, New York1960, xii + 221 pp. [REVIEW]Theodore Hailperin - 1964 - Journal of Symbolic Logic 29 (1):43.
Common Knowledge Logic and Game Logic.Mamoru Kaneko - 1999 - Journal of Symbolic Logic 64 (2):685-700.
Gentzen sequent calculi for some intuitionistic modal logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.
John Riser. A Gentzen-type calculus of sequents for single-operator propositional logic. The Journal of symbolic logic, vol. 32 , pp. 75–80. [REVIEW]Gene F. Rose - 1968 - Journal of Symbolic Logic 33 (1):129-129.
Proof Theory of Paraconsistent Quantum Logic.Norihiro Kamide - 2018 - Journal of Philosophical Logic 47 (2):301-324.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
Common knowledge logic and game logic.Mamoru Kaneko - 1999 - Journal of Symbolic Logic 64 (2):685-700.
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
Symbolic Logic: An Introductory Textbook for Non-Mathematicians.R. N. W. Smith & Harold N. Lee - 1965 - Philosophical Quarterly 15 (58):82.

Analytics

Added to PP
2024-01-14

Downloads
24 (#660,055)

6 months
24 (#118,043)

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