Pages that link to "Item:Q1430904"

The following pages link to Shortest axiomatizations of implicational S4 and S5 (Q1430904):

Displaying 2 items.

• Larry Wos: visions of automated reasoning (Q2102922) (← links)
• Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (Q3305420) (← links)