Grafted frames and S1 -completeness
From MaRDI portal
Publication:4934043
DOI10.2307/2586633zbMath0942.03030OpenAlexW2119442789MaRDI QIDQ4934043
Publication date: 6 July 2000
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586633
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Cites Work