Pages that link to "Item:Q549720"
From MaRDI portal
The following pages link to Disjunction property and complexity of substructural logics (Q549720):
Displaying 21 items.
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- Integrally closed residuated lattices (Q831226) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Complexity of some language fragments of fuzzy logics (Q1699732) (← links)
- From cut-free calculi to automated deduction: the case of bounded contraction (Q1744444) (← links)
- Metacompleteness of substructural logics (Q1935554) (← links)
- Proof complexity of substructural logics (Q2032997) (← links)
- The complexity of primal logic with disjunction (Q2339598) (← links)
- An algebraic approach to the disjunction property of substructural logics (Q2425350) (← links)
- Varieties generated by standard BL-algebras (Q2454042) (← links)
- Conuclear images of substructural logics (Q2813674) (← links)
- (Q3505074) (← links)
- (Q4428299) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- The complexity of disjunction in intuitionistic logic (Q5108032) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- (Q5253806) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)
- (Q5479708) (← links)