Boolean negation and non-conservativity III: the Ackermann constant
From MaRDI portal
Publication:5020361
DOI10.1093/jigpal/jzaa021zbMath1494.03057MaRDI QIDQ5020361
Publication date: 5 January 2022
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/11250/2739126
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)