Stanisław Jaśkowski and Natural Deduction Systems

DOI10.1007/978-3-319-65430-0_33zbMath1406.03011OpenAlexW2808194312MaRDI QIDQ4611686

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_33

zbMATH Keywords

natural deductionGentzeninclusive logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Classical first-order logic (03B10) Classical propositional logic (03B05) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Uses Software

• Pesca

Cites Work

• Logic: a history of its central concepts
• Natural deduction, hybrid systems and modal logics
• Proof methods for modal and intuitionistic logics
• Untersuchungen über das logische Schliessen. I
• Jaśkowski's universally free logic
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• Logical consequence in modal logic: Natural deduction in S5
• A logical system based on rules and its application in teaching mathematical logic
• A Brief History of Natural Deduction
• Logic and philosophy in the Lvov-Warsaw school
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Stanisław Jaśkowski and Natural Deduction Systems