The construction of formal logical systems without axioms

DOI10.1080/0020739960270408zbMATH Open0885.03010OpenAlexW2010228494WikidataQ114643046 ScholiaQ114643046MaRDI QIDQ4359675FDOQ4359675

Authors: Anne-Marie Blewitt, John H. Costello 

Publication date: 31 March 1998

Published in: International Journal of Mathematical Education in Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/0020739960270408

Recommendations

• On the definition of ‘formal deduction’
• scientific article; zbMATH DE number 3902624
• Logics of rejection: Two systems of natural deduction
• Suszko's contribution to the theory of nonaxiomatic proof systems
• scientific article; zbMATH DE number 31602

zbMATH Keywords

natural deductionpropositional logicformal systemsLukasiewicz axiomatization

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Formal systems as structures -- a Bourbachic architecture of logic
• Suszko's contribution to the theory of nonaxiomatic proof systems

This page was built for publication: The construction of formal logical systems without axioms

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