The incompleteness of RGL
From MaRDI portal
Publication:1591336
DOI10.1023/A:1005283629842zbMath0969.03034OpenAlexW1517749420MaRDI QIDQ1591336
Publication date: 30 September 2001
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005283629842
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (2)
Neighbourhood semantics for modal relevant logics ⋮ An incompleteness theorem for modal relevant logics
This page was built for publication: The incompleteness of RGL