Pages that link to "Item:Q1072541"
From MaRDI portal
The following pages link to \(TW_+\) and \(RW_+\) are decidable (Q1072541):
Displaying 23 items.
- Current trends in substructural logics (Q266641) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Four relevant Gentzen systems (Q579235) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- Completeness and conservative extension results for some Boolean relevant logics (Q908897) (← links)
- Distributive full Lambek calculus has the finite model property (Q1015484) (← links)
- The contraction rule and decision problems for logics without structural rules (Q1181491) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- Displaying and deciding substructural logics. I: Logics with contraposition (Q1267081) (← links)
- A cut-elimination proof in positive relevant logic with necessity (Q2046880) (← links)
- Gentzenization and decidability of some contraction-less relevant logics (Q2277247) (← links)
- Intuitionism and relevance (Q2782585) (← links)
- An alternative Gentzenisation of RW+∘ (Q2958209) (← links)
- Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
- Decision procedure of some relevant logics: a constructive perspective (Q3647218) (← links)
- Between TW and RW (Q4493032) (← links)
- On the decidability of implicational ticket entailment (Q4916555) (← links)
- The Universal Theory Tool Building Toolkit Is Substructural (Q5027238) (← links)
- A cut-free sequent calculus for relevant logic RW (Q5172146) (← links)
- Solution to a problem of Ono and Komori (Q5903941) (← links)
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808) (← links)
- Solution to a problem of Ono and Komori (Q5966494) (← links)
- A note on an alternative Gentzenization of RW+∘ (Q6047679) (← links)
