The implicational fragment of $R$-mingle

• 1 January 1971
• journal article
• Published by Project Euclid in Proceedings of the Japan Academy, Series A, Mathematical Sciences
• Vol. 47  (1) , 71-75
• https://doi.org/10.3792/pja/1195520115

Abstract

Keywords

• MATHEMATICS
• IMPLICATIONAL FRAGMENT
• PROJECT EUCLID
• STATISTICS ONLINE
• MINGLE PROJECT