Pages that link to "Item:Q3608770"
From MaRDI portal
The following pages link to A Labelled System for IPL with Variable Splitting (Q3608770):
Displayed 4 items.
- Incremental variable splitting (Q429591) (← links)
- A connection-based characterization of bi-intuitionistic validity (Q2351153) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- A Connection-Based Characterization of Bi-intuitionistic Validity (Q5200030) (← links)