Displaying updates in logic

DOI10.1093/logcom/exw001zbMath1403.03036OpenAlexW2311374999MaRDI QIDQ2957971

Guillaume Aucher

Publication date: 31 January 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01476234v2/file/JLC2016-Part1-DiplayingUpdatesInLogic-Corrected.pdf

zbMATH Keywords

substructural logicsbi-intuitionistic logicupdatedisplay calculus

Mathematics Subject Classification ID

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

Related Items (1)

On the universality of atomic and molecular logics via protologics

This page was built for publication: Displaying updates in logic