On strong and weak logics for paraconsistent computability

MaRDI QIDQ6936625zbMATH OpenFDO

Authors Zach Weber, Fernando Cano-Jorge

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*.14

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53) Other applications of logic (03B80)

This page was built for publication: On strong and weak logics for paraconsistent computability

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