Iemhoff, Rosalie

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 3.

Journal Article

Iemhoff, Rosalie; Metcalfe, George (2009). Proof Theory for Admissible Rules. Annals of pure and applied logic, 159(1-2), pp. 171-186. Amsterdam: Elsevier 10.1016/j.apal.2008.10.011

Book Section

Caicedo, Xavier; Metcalfe, George; Rodriguez, Ricardo; Tuyt, Olim Frits (2019). The One-Variable Fragment of Corsi Logic. In: Iemhoff, Rosalie; Moortgat, Michael; de Queiroz, Ruy (eds.) Logic, Language, Information, and Computation. Proceedings of WoLLIC 2019. Lecture Notes in Computer Science: Vol. 11541 (pp. 70-83). Berlin: Springer

Iemhoff, Rosalie; Metcalfe, George (2009). Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5407 (pp. 230-245). Heidelberg: Springer Verlag 10.1007/978-3-540-92687-0_16

This list was generated on Sun Aug 9 17:21:34 2020 CEST.
Provide Feedback