The consistency of arithmetic, based on a logic of meaning containment

zbMATH Open1336.03006MaRDI QIDQ4925883FDOQ4925883

Authors: Ross T. Brady 

Publication date: 12 June 2013

Recommendations

• Arithmetic Formulated in a Logic of Meaning Containment
• Logic—The Big Picture
• scientific article; zbMATH DE number 1157225
• Predicative logic and formal arithmetic
• How recent work in mathematical logic relates to the foundations of mathematics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) First-order arithmetic and fragments (03F30)

Cited In (6)

• The number of logical values
• Logic—The Big Picture
• The simple consistency of naive set theory using metavaluations
• Metavaluations
• How recent work in mathematical logic relates to the foundations of mathematics
• Arithmetic Formulated in a Logic of Meaning Containment

This page was built for publication: The consistency of arithmetic, based on a logic of meaning containment

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