scientific article; zbMATH DE number 4008369

zbMATH Open0622.03016MaRDI QIDQ3758808FDOQ3758808

Authors: Tadeusz Prucnal 

Publication date: 1985

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

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

zbMATH Keywords

endomorphismsstructural completenessconsequence operationsimplicational intermediate logics

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (8)

• Title not available (Why is that?)
• Implicational (semilinear) logics. III: Completeness properties
• Title not available (Why is that?)
• Completeness theory for propositional logics
• A completeness result for implicit justification stit logic
• Title not available (Why is that?)
• Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\)
• Title not available (Why is that?)

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)