scientific article

zbMath1330.03041MaRDI QIDQ3466594

Ross T. Brady

Publication date: 1 February 2016

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

metacompletenessquantified logicsclassical sentential calculus

Mathematics Subject Classification ID

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

Related Items (2)

METAVALUATIONS ⋮ The Number of Logical Values

This page was built for publication: