Pages that link to "Item:Q1072541"
From MaRDI portal
The following pages link to \(TW_+\) and \(RW_+\) are decidable (Q1072541):
Displayed 15 items.
- Current trends in substructural logics (Q266641) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Four relevant Gentzen systems (Q579235) (← links)
- Completeness and conservative extension results for some Boolean relevant logics (Q908897) (← links)
- Distributive full Lambek calculus has the finite model property (Q1015484) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- A cut-elimination proof in positive relevant logic with necessity (Q2046880) (← links)
- Gentzenization and decidability of some contraction-less relevant logics (Q2277247) (← links)
- An alternative Gentzenisation of RW+∘ (Q2958209) (← links)
- Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
- The Universal Theory Tool Building Toolkit Is Substructural (Q5027238) (← 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)