scientific article; zbMATH DE number 3099240

zbMath0061.00804MaRDI QIDQ5839920

Jan Lukasiewicz

Publication date: 1941

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

foundations, philosophy, logic

Related Items (6)

Infinitary Equilibrium Logic and Strong Equivalence ⋮ Jan Łukasiewicz Life, Work, Legacy ⋮ A polynomial reduction of forks into logic programs ⋮ Infinitary equilibrium logic and strongly equivalent logic programs ⋮ Stable reasoning ⋮ Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs

This page was built for publication: