Non-commutative infinitary Peano arithmetic
type: Item
instance of: scholarly article
zbMATH Open document ID: 1247.03122
author: Makoto Tatsuta
author: Stefano Berardi
publication date: 2012-09-18T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 6083563
zbMATH Keywords: proof theory
zbMATH Keywords: cut elimination
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: infinitary logic
zbMATH Keywords: recursive omega rules
zbMATH Keywords: substructural logic
MaRDI profile type: Publication
full work available at URL: 42.pdf
OpenAlex ID: W2293271212
DOI: 10.4230/LIPICS.CSL.2011.538
Recommended article: Non-commutative classical arithmetical sequent calculi are intuitionistic
Recommended article: NONCONSTRUCTIVIZABLE FORMAL ARITHMETIC STRUCTURES
Recommended article: The unfolding of non-finitist arithmetic
Recommended article: Peano Arithmetic and Hyper-Ramsey Logic
Recommended article: Q3789558
Recommended article: Q3023881
Recommended article: A note on non-classical nonstandard arithmetic
Recommended article: Non-Commutative First-Order Sequent Calculus
Recommended article: Non-commutative logical algebras and algebraic quantales
Recommended article: Q5537657
title: Non-commutative infinitary Peano arithmetic
description: scientific article; zbMATH DE number 6083563