scientific article; zbMATH DE number 3885863

zbMATH Open0556.03011MaRDI QIDQ3220554FDOQ3220554

Authors: Witold A. Pogorzelski 

Publication date: 1984

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

Recommendations

• scientific article; zbMATH DE number 3961576
• A proof system for classical logic
• scientific article; zbMATH DE number 4130350
• scientific article; zbMATH DE number 232631
• scientific article; zbMATH DE number 844484

zbMATH Keywords

consistencycompletenessintuitionistic logicsentential logicHilbert calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (4)

• Title not available (Why is that?)
• An emendation of the axiom system of Hilbert and Ackermann for the restricted calculus of predicates
• Title not available (Why is that?)
• A proof system for classical logic

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 Q3220554)