Pages that link to "Item:Q1327480"

The following pages link to Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property (Q1327480):

Displaying 3 items.

• 1995–1996 Winter Meeting of the Association for Symbolic Logic (Q4254568) (← links)
• On Finite Model Property for Admissible Rules (Q4704656) (← links)
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)