Completeness via metacompleteness

MaRDI QIDQ5100010FDOQ5100010

Authors: Shawn Standefer 

Publication date: 26 August 2022

Recommendations

• Some metacomplete relevant modal logics
• scientific article; zbMATH DE number 970630
• An incompleteness theorem for modal relevant logics
• Classically complete modal relevant logics
• scientific article; zbMATH DE number 3845547

zbMATH Keywords

completenessmetavaluationsreduced framesmodal relevant logics

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Varieties of Relevant S5
• A unified functional look at completion in MET, UNIF and AP
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS

This page was built for publication: Completeness via metacompleteness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5100010)