Pages that link to "Item:Q1344438"
From MaRDI portal
The following pages link to Extending intuitionistic linear logic with knotted structural rules (Q1344438):
Displaying 15 items.
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Uninorm logic with the \(n\)-potency axiom (Q695273) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- A note on standard completeness for some extensions of uninorm logic (Q894654) (← links)
- From cut-free calculi to automated deduction: the case of bounded contraction (Q1744444) (← links)
- Routes to triviality (Q1771203) (← links)
- Connectification for \(n\)-contraction (Q1891929) (← links)
- Free algebras corresponding to multiplicative classical linear logic and some of its extensions (Q1924328) (← links)
- Word problem for knotted residuated lattices. (Q2254319) (← links)
- Free ordered algebraic structures towards proof theory (Q2747705) (← links)
- The finite model property for knotted extensions of propositional linear logic (Q3370755) (← links)
- (Q5084205) (← links)
- The finite embeddability property for noncommutative knotted extensions of RL (Q5252302) (← links)
- Towards an algorithmic construction of cut-elimination procedures (Q5458060) (← links)
- UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS (Q5501771) (← links)
