- BCI-Algebras and Related Logics
- Gluon Theory: The Unified Unifiers
- A Note on the signed occurrences of propositional variables
- Models of Relevant Arithmetic
- A Note on R-Mingle and the Danger of Safety
- Takeuti’s Well-ordering Proof
- Algebra-valued models for LP-set theory
- Fixed-point models for paradoxical predicates
- Translating Metainferences Into Formulae
- Hybrid Deduction-Refutation Systems for FDE-Based Logics
- Relevant Arithmetic and Mathematical Pluralism
- “A Smack of Irrelevance” in Inconsistent Mathematics?
- On Not Saying What We Shouldn’t Have to Say
- Arithmetic Formulated in a Logic of Meaning Containment
- Consistency and Decidability in Some Paraconsistent Arithmetics
- Remark on Relevant Arithmetic
- Episodes in Model-Theoretic Xenology: Rationals as Positive Integers in R#
- Inconsistent Models for Relevant Arithmetics
- Alien Intruders in Relevant Arithmetic
- The Consistency of Arithmetic
- Arithmetic Formulated Relevantly
- Relevant Arithmetic
- Robert Meyer’s Publications on Relevant Arithmetic