Pages that link to "Item:Q1237066"
From MaRDI portal
The following pages link to Completeness of the normal typed fragment of the \(\lambda\)-system \(U\) (Q1237066):
Displaying 5 items.
- Types of I-free hereditary right maximal terms (Q812102) (← links)
- Relevant predication. I: The formal theory (Q1099150) (← links)
- Condensed detachment is complete for relevance logic: A computer-aided proof (Q1181717) (← links)
- On analysing relevance constructively (Q1257472) (← links)
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment (Q2254561) (← links)