Non-commutative classical arithmetical sequent calculi are intuitionistic
type: Item
instance of: scholarly article
title: Non-commutative classical arithmetical sequent calculi are intuitionistic
zbMATH Open document ID: 1405.03093
author: Revantha Ramanayake
publication date: 2019-01-08T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 6997960
zbMATH Keywords: proof theory
zbMATH Keywords: intuitionistic sequent calculus
zbMATH Keywords: exchange rules
zbMATH Keywords: Heyting arithmetic
MaRDI profile type: Publication
full work available at URL: jzw007
OpenAlex ID: W2398664093
DOI: 10.1093/JIGPAL/JZW007
Recommended article: Non-Commutative First-Order Sequent Calculus
Recommended article: Non-commutative infinitary Peano arithmetic
Recommended article: Non-commutative logic II: sequent calculus and phase semantics
Recommended article: A note on non-classical nonstandard arithmetic
Recommended article: Non-classical elegance for sequent calculus enthusiasts
Recommended article: Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness
Recommended article: A generalization of a conservativity theorem for classical versus intuitionistic arithmetic
Recommended article: NONCONSTRUCTIVIZABLE FORMAL ARITHMETIC STRUCTURES
Recommended article: Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
Recommended article: Non‐commutative intuitionistic linear logic
published in: Logic Journal of the IGPL
description: scientific article; zbMATH DE number 6997960