scientific article; zbMATH DE number 4208057

MaRDI QIDQ3356293zbMATH OpenFDO

Authors E. A. Sidorenko

Publication date 1989

zbMATH Keywords

Ackermann's strict implicationaxiomatizationsrelevant implicationrelevant implication plus S4-type modality

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Relevant logics: from semantics to proof systems
• scientific article; zbMATH DE number 4047689
• scientific article; zbMATH DE number 4041868
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• scientific article; zbMATH DE number 2209820

Cited in

(2)

• scientific article; zbMATH DE number 4041868 (Why is no real title available?)
• scientific article; zbMATH DE number 549806 (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 Q3356293)