Arithmetic Formulated in a Logic of Meaning Containment

DOI10.26686/AJL.V18I5.6920OpenAlexW4205394628MaRDI QIDQ5019130FDOQ5019130

Authors: Ross T. Brady 

Publication date: 29 December 2021

Published in: The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.26686/ajl.v18i5.6920

Recommendations

• The consistency of arithmetic, based on a logic of meaning containment
• Logicism as making arithmetic explicit
• Arithmetics base on computability logic
• Predicative logic and formal arithmetic
• Arithmetical interpretations of dynamic logic
• An arithmetical view to first-order logic
• A logical foundation of arithmetic
• Logical constants and arithmetical forms
• Arithmetic, first-order logic, and counting quantifiers
• Logicism, interpretability, and knowledge of arithmetic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (5)

• Arithmetic based on the Church numerals in illative combinatory logic
• On Grounding Arithmetic
• On not saying what we shouldn't have to say
• Robert Meyer's publications on relevant arithmetic
• The consistency of arithmetic, based on a logic of meaning containment

This page was built for publication: Arithmetic Formulated in a Logic of Meaning Containment

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