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):
Displayed 8 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)
- On formulas in which no individual variable occurs more than twice (Q5586243) (← links)