Pages that link to "Item:Q409322"

The following pages link to Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322):

Displaying 43 items.

• Densification of FL chains via residuated frames (Q271692) (← links)
• Proof theory for lattice-ordered groups (Q287483) (← links)
• The distributivity on bi-approximation semantics (Q306839) (← 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)
• Join-completions of partially ordered algebras (Q2004958) (← links)
• Residuated structures and orthomodular lattices (Q2062191) (← links)
• Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
• Poset products as relational models (Q2115284) (← links)
• Focused proof-search in the logic of bunched implications (Q2233409) (← links)
• The logic of pseudo-uninorms and their residua (Q2335051) (← links)
• Finite-valued semantics for canonical labelled calculi (Q2351396) (← links)
• Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
• Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
• A note on the substructural hierarchy (Q2793913) (← links)
• Conuclear images of substructural logics (Q2813674) (← links)
• Tools for the Investigation of Substructural and Paraconsistent Logics (Q2938481) (← links)
• Taming Paraconsistent (and Other) Logics (Q2946751) (← links)
• FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328) (← links)
• Expanding the Realm of Systematic Proof Theory (Q3644747) (← links)
• THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
• Judgement aggregation in non-classical logics (Q4586224) (← links)
• Extensions of Lambek Calculi (Q5014595) (← links)
• FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
• Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
• MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)
• Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721) (← links)
• MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE (Q5100054) (← links)
• (Q5111325) (← links)
• Specifying Proof Systems in Linear Logic with Subexponentials (Q5179015) (← links)
• Semantical Approach to Cut Elimination and Subformula Property in Modal Logic (Q5213665) (← links)
• Modal translation of substructural logics (Q5217248) (← links)
• Power and Limits of Structural Display Rules (Q5277918) (← links)
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
• Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)