Completeness via metacompleteness

MaRDI QIDQ5100010zbMATH OpenFDO

Authors Shawn Standefer

Publication date 26 August 2022

zbMATH Keywords

completenessmetavaluationsmodal relevant logicsreduced frames

Mathematics Subject Classification ID

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

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

Cited in

(5)

• A unified functional look at completion in MET, UNIF and AP
• An incompleteness theorem for modal relevant logics
• scientific article; zbMATH DE number 5295712 (Why is no real title available?)
• Varieties of Relevant S5
• 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)