Pages that link to "Item:Q730091"
From MaRDI portal
The following pages link to Algebraic proof theory: hypersequents and hypercompletions (Q730091):
Displaying 9 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- Residuated structures and orthomodular lattices (Q2062191) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)