Universal necessity and deep classicality

MaRDI QIDQ6936628zbMATH OpenFDO

Authors Shawsn Standever, Rohan French

Publication date 28 August 2025

Published in Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (Search for Journal in Brave)

Full work available at URL https://www.collegepublications.co.uk/downloads/ifcolog00073.pdf#section*.12

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: Universal necessity and deep classicality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6936628)