Multi-focused proofs with different polarity assignments

DOI10.1016/j.entcs.2016.06.011zbMath1394.03070WikidataQ57850714 ScholiaQ57850714MaRDI QIDQ1744415

Vivek Nigam, Elaine Pimentel, João Neto

Publication date: 23 April 2018

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.06.011

zbMATH Keywords

intuitionistic logic; proof systems; focusing; identity of proofs

Mathematics Subject Classification ID

03F05: Cut-elimination and normal-form theorems

03F07: Structure of proofs

03B20: Subsystems of classical logic (including intuitionistic logic)

03F20: Complexity of proofs