The incompleteness of RGL

DOI10.1023/A:1005283629842zbMath0969.03034OpenAlexW1517749420MaRDI QIDQ1591336

Edwin D. Mares

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

zbMATH Keywords

modal logicprovability logicincompletenessrelevance logic

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) 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