Pages that link to "Item:Q514517"

The following pages link to Cofinal stable logics (Q514517):

Displaying 4 items.

• MacNeille transferability and stable classes of Heyting algebras (Q1991585) (← links)
• Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
• STABLE MODAL LOGICS (Q4961739) (← links)
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)