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):
Displayed 4 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)