Pages that link to "Item:Q409322"
From MaRDI portal
The following pages link to Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322):
Displaying 14 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Proof theory for lattice-ordered groups (Q287483) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- MacNeille completions of FL-algebras (Q652517) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- Integrally closed residuated lattices (Q831226) (← links)
- Distributive residuated frames and generalized bunched implication algebras (Q1686325) (← links)
- Density revisited (Q1699744) (← links)
- Skolemization and Herbrand theorems for lattice-valued logics (Q1733060) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- Algebraic proof theory for LE-logics (Q6493417) (← links)
