Extending metacompleteness to systems with classical formulae

MaRDI QIDQ3466594zbMATH OpenFDO

Authors Ross T. Brady

Publication date 1 February 2016

Full work available at URL http://ojs.victoria.ac.nz/ajl/article/view/1811/1661

zbMATH Keywords

classical sentential calculusmetacompletenessquantified logics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• scientific article; zbMATH DE number 2097565
• Some metacomplete relevant modal logics
• Consistency, completeness, and classicality
• scientific article; zbMATH DE number 4210100
• scientific article; zbMATH DE number 4212001

Cited in

(2)

• The number of logical values
• Metavaluations

This page was built for publication: Extending metacompleteness to systems with classical formulae

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