Pages that link to "Item:Q1192582"
From MaRDI portal
The following pages link to Lattice-valued representation of the cut-elimination theorem (Q1192582):
Displayed 6 items.
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Cut-Elimination for SBL (Q5013907) (← links)
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)