Relevant Robinson's arithmetic
From MaRDI portal
Publication:1139580
DOI10.1007/BF00370478zbMath0434.03018MaRDI QIDQ1139580
Publication date: 1979
Published in: Studia Logica (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
Related Items
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021, SUBSTITUTION IN RELEVANT LOGICS, Paraconsistent Computation and Dialetheic Machines, Relevant predication. I: The formal theory, A “Reply” to My “Critics”
Cites Work