Skip to Main Content

Search

Skip to Search Results
Filter
Close
Subject / Keyword
Item type
Collections
Author / Creator / Contributor
Year
to
Languages
Subject: 2-valued logic, admissibility of the cut rule, axiomatic calculus for FOL, contraction measure, sequent calculus for FOL, single cut rule Item type: Chapter Collections: Philosophy, Department of

  • Classical first-order logic

    Download

    2020-06-01

    Katalin Bimbó

    The first sequent calculus, LK is the example after which many other calculi have been fashioned. We describe this calculus, prove its equivalence to the axiom system K, and provide a sound and complete interpretation too. A major part of Section 2.3 is a presentation of the proof of the cut...

1 - 1 of 1