Arithmetic formulated relevantly

DOI10.26686/AJL.V18I5.6905OpenAlexW4206411991MaRDI QIDQ5019124FDOQ5019124

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

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (12)

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

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)