Results 91 to 100 of about 268 (109)

Algebraic proofs of cut elimination

The Journal of Logic and Algebraic Programming, 2001
Algebraic proofs of the cut-elimination theorems for classical and intuitionistic logic are presented, and are used to show how one can sometimes extract a constructive proof and an algorithm from a proof that is nonconstructive.
Jeremy Avigad
exaly   +2 more sources

Rule-Elimination Theorems

Logica Universalis
Cut-elimination theorems constitute one of the most important classes of theorems of proof theory. Since Gentzen\u27s proof of the cut-elimination theorem for the system $\mathbf{LK}$, several other proofs have been proposed.
Roy, Sayantan
exaly   +2 more sources

A note on cut-elimination for classical propositional logic

Archive for Mathematical Logic, 2021
Gabriele Pulcini
exaly  

Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion

Journal of Philosophical Logic, 2020
Norihiro Kamide, Kamide Norihiro
exaly  

Cut elimination for entailment relations

Archive for Mathematical Logic, 2018
Daniel Wessel
exaly  

Cut-elimination Theorems for Some Infinitary Modal Logics

Mathematical Logic Quarterly, 2001
Yoshihito Tanaka
exaly  

Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic

Studia Logica, 2019
Norihiro Kamide, Yoni Zohar, Kamide Norihiro   +2 more
exaly  

Completeness and cut-elimination theorems for trilattice logics

Annals of Pure and Applied Logic, 2011
Norihiro Kamide, Heinrich Wansing
exaly  

A Simple Proof that Super-Consistency Implies Cut Elimination

Notre Dame Journal of Formal Logic, 2012
Gilles Dowek, Olivier Hermant
exaly  

Interpolants, cut elimination and flow graphs for the propositional calculus

Annals of Pure and Applied Logic, 1997
Alessandra Carbone
exaly