Pages that link to "Item:Q1181717"
From MaRDI portal
The following pages link to Condensed detachment is complete for relevance logic: A computer-aided proof (Q1181717):
Displaying 6 items.
- Double-negation elimination in some propositional logics (Q813082) (← links)
- The converse principal type-scheme theorem in lambda calculus (Q1194107) (← links)
- Principal types of BCK-lambda-terms (Q1208417) (← links)
- A finitely axiomatized formalization of predicate calculus with equality (Q1906674) (← links)
- Using resolution for deciding solvable classes and building finite models (Q4560350) (← links)
- Principal type-schemes of BCI-lambda-terms (Q5096242) (← links)
