scientific article; zbMATH DE number 4053578

zbMATH Open0646.03022MaRDI QIDQ3789532FDOQ3789532

Authors: Adam Morawiec, Krystyna Pirog-Rzepecka 

Publication date: 1987

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

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_0^*\) for the system \(L^*\)

zbMATH Keywords

deductive systemssentential calculus W

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Key notions of Tarski's methodology of deductive systems

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)