Pages that link to "Item:Q2422309"
From MaRDI portal
The following pages link to Intermediate logics admitting a structural hypersequent calculus (Q2422309):
Displaying 4 items.
- MacNeille transferability and stable classes of Heyting algebras (Q1991585) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Intermediate logics in the setting of team semantics (Q6612815) (← links)
