Pages that link to "Item:Q5619814"

The following pages link to An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi (Q5619814):

Displaying 2 items.

• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)