From GTC to : Generating reset proof systems from cyclic proof systems

&
Annals of Pure and Applied Logic 175 (10):103485 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2024.103485

Other Versions

No versions found

Links

PhilArchive



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

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

Quantum deduction rules.Pavel Pudlák - 2009 - Annals of Pure and Applied Logic 157 (1):16-29.
The limits of tractability in Resolution-based propositional proof systems.Stefan Dantchev & Barnaby Martin - 2012 - Annals of Pure and Applied Logic 163 (6):656-668.
Proof-theoretical analysis: weak systems of functions and classes.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):1-121.
Strength and limitations of Sherali-Adams and Nullstellensatz proof systems.Ilario Bonacina & Maria Luisa Bonet - 2025 - Annals of Pure and Applied Logic 176 (4):103538.
Proof internalization in generalized Frege systems for classical logic.Yury Savateev - 2014 - Annals of Pure and Applied Logic 165 (1):340-356.
Systems of explicit mathematics with non-constructive μ-operator. Part I.Solomon Feferman & Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 65 (3):243-263.
Proof theory for admissible rules.Rosalie Iemhoff & George Metcalfe - 2009 - Annals of Pure and Applied Logic 159 (1-2):171-186.
Kripke semantics and proof systems for combining intuitionistic logic and classical logic.Chuck Liang & Dale Miller - 2013 - Annals of Pure and Applied Logic 164 (2):86-111.
Logic of proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.

Analytics

Added to PP
2024-06-12

Downloads
10 (#1,469,896)

6 months
5 (#1,039,842)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references