Positive Arithmetic Without Exchange Is a Subclassical Logic

DOI10.1007/978-3-540-76637-7_18MaRDI QIDQ3498443zbMATH OpenOpenAlexFDO

Authors Stefano Berardi, Makoto Tatsuta

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

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Intermediate logics (03B55) First-order arithmetic and fragments (03F30)

Recommendations

• Positive program logics in systems with arithmetic
• The complexity of positive first-order logic without equality
• A non-arithmetical Gödel logic
• Predicate Logics of Constructive Arithmetical Theories
• scientific article; zbMATH DE number 3185949
• Positive formulas in intuitionistic and minimal logic
• A non-hyperarithmetical Gödel logic
• An arithmetical view to first-order logic
• On classes of arithmetical counterparts of modal provability logics
• Positive logics

Cites work

• A semantics of evidence for classical arithmetic
• A sequent calculus for limit computable mathematics
• Can proofs be animated by games?
• Games with 1-backtracking
• scientific article; zbMATH DE number 2085171 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Relative constructivity
• Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves
• Some intuitionistic equivalents of classical principles for degree 2 formulas

Cited in

(4)

• A sequent calculus for limit computable mathematics
• Non-Commutative First-Order Sequent Calculus
• Disjoint logics
• Games with 1-backtracking

This page was built for publication: Positive Arithmetic Without Exchange Is a Subclassical Logic

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