Arithmetic formulated relevantly

DOI10.26686/AJL.V18I5.6905MaRDI QIDQ5019124zbMATH OpenOpenAlexFDO

Authors Robert K. Meyer

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.6905

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Whither relevant arithmetic?
• The consistency of arithmetic
• Conservative Extension in Relevant Arithmetic
• \(\supset\)E is admissible in ``true relevant arithmetic
• scientific article; zbMATH DE number 1874095

Cited in

(12)

• On not saying what we shouldn't have to say
• Linear arithmetic desecsed
• Relevant arithmetic
• The consistency of arithmetic
• Paraconsistent metatheory: new proofs with old tools
• scientific article; zbMATH DE number 3904563 (Why is no real title available?)
• Conservative Extension in Relevant Arithmetic
• Consistent theories in inconsistent logics
• Robert Meyer's publications on relevant arithmetic
• Alien intruders in relevant arithmetic
• Executability and connexivity in an interpretation of Griss
• Whither relevant arithmetic?

This page was built for publication: Arithmetic formulated relevantly

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