Pages that link to "Item:Q3188334"
From MaRDI portal
The following pages link to IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE (Q3188334):
Displaying 5 items.
- On the decision problem for MELL (Q1733062) (← links)
- There exist exactly two maximal strictly relevant extensions of the relevant logic <i>R</i> (Q4934032) (← links)
- A Logical Autobiography (Q5027230) (← links)
- The complexity of principal inhabitation (Q5111311) (← links)
- Constructive decision via redundancy-free proof-search (Q5919012) (← links)