scientific article; zbMATH DE number 4143950

MaRDI QIDQ3475249zbMATH OpenFDO

Authors Piotr Wojtylak

Publication date 1990

zbMATH Keywords

axiomatizabilityimplicational logicsstructural completeness

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Recommendations

• On structural completeness of implicational logics
• scientific article; zbMATH DE number 3865251
• scientific article; zbMATH DE number 4008369
• scientific article; zbMATH DE number 3875241
• Structural completeness in fuzzy logics

Cited in

(8)

• On structural completeness of implicational logics
• Implicational (semilinear) logics. III: Completeness properties
• Syntactic characterizations of completeness using duals and operators
• scientific article; zbMATH DE number 3865251 (Why is no real title available?)
• scientific article; zbMATH DE number 3875241 (Why is no real title available?)
• scientific article; zbMATH DE number 4008369 (Why is no real title available?)
• scientific article; zbMATH DE number 3557785 (Why is no real title available?)
• A completeness result for implicit justification stit logic

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