Non-commutative classical arithmetical sequent calculi are intuitionistic

DOI10.1093/JIGPAL/JZW007MaRDI QIDQ4644548zbMATH OpenOpenAlexFDO

Authors Revantha Ramanayake

Publication date 8 January 2019

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

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

zbMATH Keywords

exchange rulesHeyting arithmeticintuitionistic sequent calculusproof theory

Mathematics Subject Classification ID

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

Recommendations

• Non-Commutative First-Order Sequent Calculus
• Non-commutative infinitary Peano arithmetic
• Non-commutative logic II: sequent calculus and phase semantics
• A note on non-classical nonstandard arithmetic
• Non-classical elegance for sequent calculus enthusiasts
• Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness
• A generalization of a conservativity theorem for classical versus intuitionistic arithmetic
• NONCONSTRUCTIVIZABLE FORMAL ARITHMETIC STRUCTURES
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Non‐commutative intuitionistic linear logic

Cited in

(3)

• Non-commutative infinitary Peano arithmetic
• Non-Commutative First-Order Sequent Calculus
• Provability multilattice logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644548)