The construction of formal logical systems without axioms

DOI10.1080/0020739960270408MaRDI QIDQ4359675zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

natural deductionpropositional logicformal systemsLukasiewicz axiomatization

Mathematics Subject Classification ID

Classical propositional logic (03B05)

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

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)