[Back]


Publications in Scientific Journals:
R. Ramanayake:
"Non-commutative classical arithmetical sequent calculi are intuitionistic";
accepted for publication in Logic Journal of the IGPL (2015).

Created from the Publication Database of the Vienna University of Technology.