Pages that link to "Item:Q5723175"
From MaRDI portal
The following pages link to Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt (Q5723175):
Displaying 10 items.
- Contraction-elimination for implicational logics (Q676308) (← links)
- Deduction theorems for weak implicational logics (Q791512) (← links)
- Condensed detachment is complete for relevance logic: A computer-aided proof (Q1181717) (← links)
- Principal types of BCK-lambda-terms (Q1208417) (← links)
- Scientific works of Stanislaw Jaskowski (Q1211973) (← links)
- Proof finding algorithms for implicational logics (Q1575928) (← links)
- The number of proofs for a BCK-formula (Q3138016) (← links)
- Stanisław Jaśkowski: Life and Work (Q4611685) (← links)
- Principal type-schemes of BCI-lambda-terms (Q5096242) (← links)
- On formulas in which no individual variable occurs more than twice (Q5586243) (← links)