Arithmetic Formulated in a Logic of Meaning Containment

DOI10.26686/AJL.V18I5.6920MaRDI QIDQ5019130zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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

Cited in

(6)

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

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)