Stanisław Jaśkowski: Life and Work

DOI10.1007/978-3-319-65430-0_32zbMath1406.03010OpenAlexW2808641350MaRDI QIDQ4611685

Andrzej Indrzejczak

Publication date: 21 January 2019

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-65430-0_32

zbMATH Keywords

decidabilitynatural deductionnonclassical logics

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Other nonclassical logic (03B60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Scientific works of Stanislaw Jaskowski
• The life and works of Stanislaw Jaskowski
• Three contributions to the two-valued propositional calculus
• Untersuchungen über das logische Schliessen. I
• Jaśkowski's universally free logic
• On the discussive conjunction in the propositional calculus for inconsistent deductive systems
• Undecidability of first order sentences in the theory of free groupoids
• On formulas in which no individual variable occurs more than twice
• Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt
• Logic and philosophy in the Lvov-Warsaw school

This page was built for publication: Stanisław Jaśkowski: Life and Work