scientific article; zbMATH DE number 1471979

zbMATH Open0952.03002MaRDI QIDQ4489063FDOQ4489063

Authors: Adam Obtułowicz 

Publication date: 22 November 2000

Title of this publication is not available (Why is that?)

Recommendations

• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• scientific article; zbMATH DE number 2170853
• Stanisław Jaśkowski and Natural Deduction Systems
• A new axiomatization of Jaśkowski's discussive logic
• On modal logics defining Jaśkowski-like discussive logics

zbMATH Keywords

visual reasoninggeometrical presentation of deductionsJaśkowski's method of suppositionsvisual presentations of deductions

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Classical first-order logic (03B10)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4489063)