Natural deduction for dual-intuitionistic logic

From MaRDI portal
Publication:694491

DOI10.1007/s11225-012-9417-8zbMath1266.03019OpenAlexW1982413486MaRDI QIDQ694491

Luca Tranchini

Publication date: 12 December 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9417-8




Related Items



Cites Work