Relating Sequent Calculi for Bi-intuitionistic Propositional Logic
2011 ◽
Vol 47
◽
pp. 57-72
◽
2012 ◽
Vol 51
(2)
◽
pp. 129-149
◽
2000 ◽
Vol 104
(1-3)
◽
pp. 97-112
◽
1988 ◽
Vol 29
(3)
◽
pp. 309-331
◽
2008 ◽
Vol DMTCS Proceedings vol. AI,...
(Proceedings)
◽