Non-commutative classical arithmetical sequent calculi are intuitionistic

DOI10.1093/jigpal/jzw007zbMath1405.03093OpenAlexW2398664093MaRDI QIDQ4644548

Revantha Ramanayake

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzw007

zbMATH Keywords

Heyting arithmeticproof theoryintuitionistic sequent calculusexchange rules

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Provability multilattice logic

This page was built for publication: Non-commutative classical arithmetical sequent calculi are intuitionistic