There exists three extensions of the relevant logic R. What are their implicational fragments?

It has been shown that there exists exactly three premaximal extension of the logic R, i.e. extensions for which the only extension is the classical logic.

14 June 2025 3,106 0 View