Non-Commutative Infinitary Peano Arithmetic

DOI10.4230/LIPICS.CSL.2011.538zbMath1247.03122OpenAlexW2293271212MaRDI QIDQ2915710

Stefano Berardi, Makoto Tatsuta

Publication date: 18 September 2012

Full work available at URL: http://drops.dagstuhl.de/opus/volltexte/2011/3255/pdf/42.pdf/

zbMATH Keywords

cut eliminationproof theorysubstructural logicinfinitary logicintuitionistic logicrecursive omega rules

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism

This page was built for publication: Non-Commutative Infinitary Peano Arithmetic