scientific article; zbMATH DE number 4053578

MaRDI QIDQ3789532zbMATH OpenFDO

Authors Adam Morawiec, Krystyna Pirog-Rzepecka

Publication date 1987

zbMATH Keywords

deductive systemssentential calculus W

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• A kind of improved formal deductive system \(\mathcal{L}_0^*\) for the system \(\mathcal{L}^*\)
• scientific article; zbMATH DE number 3559521
• scientific article; zbMATH DE number 1018736
• scientific article; zbMATH DE number 753772
• A kind of simplified formal deductive system L₀^* for the system L^*

Cited in

(5)

• Key notions of Tarski's methodology of deductive systems
• scientific article; zbMATH DE number 4210109 (Why is no real title available?)
• scientific article; zbMATH DE number 3961574 (Why is no real title available?)
• scientific article; zbMATH DE number 35401 (Why is no real title available?)
• scientific article; zbMATH DE number 3559521 (Why is no real title available?)

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