Positive Arithmetic Without Exchange Is a Subclassical Logic
From MaRDI portal
Publication:3498443
DOI10.1007/978-3-540-76637-7_18zbMath1138.03019OpenAlexW1537553226MaRDI QIDQ3498443
Makoto Tatsuta, Stefano Berardi
Publication date: 15 May 2008
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-76637-7_18
First-order arithmetic and fragments (03F30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Intermediate logics (03B55)
Related Items (4)
Games with 1-backtracking ⋮ A sequent calculus for limit computable mathematics ⋮ Non-Commutative First-Order Sequent Calculus ⋮ Disjoint Logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Games with 1-backtracking
- Some intuitionistic equivalents of classical principles for degree 2 formulas
- A sequent calculus for limit computable mathematics
- Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves
- Relative constructivity
- A semantics of evidence for classical arithmetic
This page was built for publication: Positive Arithmetic Without Exchange Is a Subclassical Logic
