scientific article; zbMATH DE number 3920437

MaRDI QIDQ3695252zbMATH OpenFDO

Authors Wojciech Dzik, Marek Tokarz

Publication date 1984

zbMATH Keywords

consequence operationsinvariant consequencesentential languagestructural consequence

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3873299
• scientific article; zbMATH DE number 3895041
• Logical matrices and non-structural consequence operators
• scientific article; zbMATH DE number 4055579
• scientific article; zbMATH DE number 3891329

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