' + '

Something went wrong

' + '

The app couldn\u2019t load. This is usually a temporary issue.

' + '' + '' + '

' + (errorMsg || '') + '

'; document.body.appendChild(div); document.getElementById('lex-cr-reload').onclick = function() { window.location.reload(); }; document.getElementById('lex-cr-clear').onclick = function() { try { // Nuke service workers if ('serviceWorker' in navigator) { navigator.serviceWorker.getRegistrations().then(function(regs) { regs.forEach(function(r) { r.unregister(); }); }); } // Nuke all caches if ('caches' in window) { caches.keys().then(function(names) { names.forEach(function(n) { caches.delete(n); }); }); } // Clear localStorage except auth var authBackup = localStorage.getItem('sb-lex-auth-token-backup'); var keys = []; for (var i = 0; i < localStorage.length; i++) keys.push(localStorage.key(i)); keys.forEach(function(k) { if (k && !k.startsWith('sb-') && k !== 'sb-lex-auth-token-backup') { localStorage.removeItem(k); } }); // Clear sessionStorage sessionStorage.clear(); } catch(e) {} setTimeout(function() { window.location.href = '/'; }, 200); }; } })();

The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)

Details

Find this book

The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)

Details

Find this book