Pages that link to "Item:Q730091"
From MaRDI portal
The following pages link to Algebraic proof theory: hypersequents and hypercompletions (Q730091):
Displaying 12 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← 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)
- Semiconic idempotent logic. I: Structure and local deduction theorems. (Q6539430) (← links)
- Unilinear residuated lattices: axiomatization, varieties and FEP (Q6568737) (← links)