Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt

DOI10.1002/malq.19630091206zbMath0115.00501OpenAlexW2100539522MaRDI QIDQ5723175

Stanislaw Jaskowski

Publication date: 1963

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19630091206

zbMATH Keywords

mathematical logic

Related Items (10)

On formulas in which no individual variable occurs more than twice ⋮ Principal type-schemes of BCI-lambda-terms ⋮ Stanisław Jaśkowski: Life and Work ⋮ Condensed detachment is complete for relevance logic: A computer-aided proof ⋮ Contraction-elimination for implicational logics ⋮ Principal types of BCK-lambda-terms ⋮ Scientific works of Stanislaw Jaskowski ⋮ Proof finding algorithms for implicational logics ⋮ Deduction theorems for weak implicational logics ⋮ The number of proofs for a BCK-formula

This page was built for publication: Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt