![](/img/cover-not-exists.png)
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic
Castaño, Diego, Cornejo, Juan ManuelVolume:
104
Language:
english
Journal:
Studia Logica
DOI:
10.1007/s11225-016-9675-y
Date:
December, 2016
File:
PDF, 554 KB
english, 2016