The subformula property of natural deduction derivations and analytic cuts

Logic Journal of the IGPL (forthcoming)
  Copy   BIBTEX

Abstract

In derivations of a sequent system, $\mathcal{L}\mathcal{J}$, and a natural deduction system, $\mathcal{N}\mathcal{J}$, the trails of formulae and the subformula property based on these trails will be defined. The derivations of $\mathcal{N}\mathcal{J}$ and $\mathcal{L}\mathcal{J}$ will be connected by the map $g$, and it will be proved the following: an $\mathcal{N}\mathcal{J}$-derivation is normal $\Longleftrightarrow $ it has the subformula property based on trails $\Longleftrightarrow $ its $g$-image in $\mathcal{L}\mathcal{J}$ is without maximum cuts $\Longrightarrow $ that $g$-image has the subformula property based on trails. In $\mathcal{L}\mathcal{J}$-derivations, another type of cuts, sub-cuts, will be introduced, and it will be proved the following: all cuts of an $\mathcal{L}\mathcal{J}$-derivation are sub-cuts $\Longleftrightarrow $ it has the subformula property based on trails.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

External links

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

Through your library

Similar books and articles

Covering properties of ideals.Marek Balcerzak, Barnabás Farkas & Szymon Gła̧b - 2013 - Archive for Mathematical Logic 52 (3-4):279-294.
Initial self-embeddings of models of set theory.Ali Enayat & Zachiri Mckenzie - 2021 - Journal of Symbolic Logic 86 (4):1584-1611.
Yet Another Ideal Version of the Bounding Number.Rafał Filipów & Adam Kwela - 2022 - Journal of Symbolic Logic 87 (3):1065-1092.
More on yet Another Ideal Version of the Bounding Number.Adam Kwela - forthcoming - Journal of Symbolic Logic:1-16.
A criterion for the strong cell decomposition property.Somayyeh Tari - 2023 - Archive for Mathematical Logic 62 (7):871-887.
The Nikodym property and filters on $$\omega $$.Tomasz Żuchowski - forthcoming - Archive for Mathematical Logic:1-31.

Analytics

Added to PP
2020-06-18

Downloads
44 (#538,628)

6 months
12 (#239,387)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Mirjana Borisavljević
University of Belgrade