Reports on Mathematical Logic

No. 26 (1992)


Edwin D. MARES

THE SEMANTIC COMPLETENESS OF RK

A b s t r a c t. This paper extends the argument of Mares, ``Classically Complete Modal Relevant Logics'' Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, (forthcoming) to show that the system RK is complete over an Extension of the Routley-Meyer semantics.


Back to Main Menu