scientific article; zbMATH DE number 3961576

zbMATH Open0597.03008MaRDI QIDQ3728877FDOQ3728877

Authors: Piotr Latocha, Witold A. Pogorzelski 

Publication date: 1985

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

Recommendations

• scientific article; zbMATH DE number 3885863
• A proof system for classical logic
• scientific article; zbMATH DE number 1975400
• A syntactic approach to closure operation
• On Hilbert's axiomatics of propositional logic

zbMATH Keywords

sentential logictwo-valued logicHilbert calculusH-closureH-completenessH-operation

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?)
• A syntactic approach to closure operation
• 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 Q3728877)