scientific article; zbMATH DE number 4008369

MaRDI QIDQ3758808zbMATH OpenFDO

Authors Tadeusz Prucnal

Publication date 1985

zbMATH Keywords

endomorphismsstructural completenessconsequence operationsimplicational intermediate logics

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• On structural completeness of implicational logics
• Publication:3475249
• scientific article; zbMATH DE number 3875241
• scientific article; zbMATH DE number 3999892
• Completeness of implicational relevant logics
• Implicational (semilinear) logics. III: Completeness properties
• Structural Completeness in Substructural Logics
• Pure strict implication logics
• scientific article; zbMATH DE number 1169382
• Structural completeness in propositional logics of dependence

Cited in

(8)

• Completeness theory for propositional logics
• A completeness result for implicit justification stit logic
• scientific article; zbMATH DE number 4143950 (Why is no real title available?)
• scientific article; zbMATH DE number 67021 (Why is no real title available?)
• Implicational (semilinear) logics. III: Completeness properties
• Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\)
• scientific article; zbMATH DE number 4158594 (Why is no real title available?)
• scientific article; zbMATH DE number 3875241 (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 Q3758808)