Metacompleteness
From MaRDI portal
Publication:2550725
DOI10.1305/ndjfl/1093887722zbMath0232.02015OpenAlexW4240400578MaRDI QIDQ2550725
Publication date: 1976
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093887722
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) General logic (03B99)
Related Items (11)
A star-free semantics for R ⋮ Some metacomplete relevant modal logics ⋮ METAVALUATIONS ⋮ Gentzenizations of relevant logics without distribution. I ⋮ Gentzenizations of relevant logics without distribution. II ⋮ Gentzenizations of relevant logics with distribution ⋮ The simple consistency of naive set theory using metavaluations ⋮ The Story of $$\gamma $$ γ ⋮ The Number of Logical Values ⋮ Notes on stratified semantics ⋮ Logic—The Big Picture
This page was built for publication: Metacompleteness