Pages that link to "Item:Q2710593"
From MaRDI portal
The following pages link to Admissibility of structural rules for contraction-free systems of intuitionistic logic (Q2710593):
Displaying 11 items.
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Terminating calculi and countermodels for constructive modal logics (Q2142091) (← links)
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models (Q2351164) (← links)
- Admissibility of structural rules for extensions of contraction-free sequent calculi (Q2743638) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- (Q4487248) (← links)
- Practical Proof Search for Coq by Type Inhabitation (Q5048991) (← links)
- An intuitionistic formula hierarchy based on high‐school identities (Q5108846) (← links)
- Structural interactions and absorption of structural rules in BI sequent calculus (Q5369473) (← links)
