| |
| 2005 | ||
|---|---|---|
| 5 | EE | Katalin Bimbó: Admissibility of Cut in LC with Fixed Point Combinator. Studia Logica 81(3): 399-423 (2005) |
| 2003 | ||
| 4 | Katalin Bimbó: The Church-Rosser property in dual combinatory logic. J. Symb. Log. 68(1): 132-152 (2003) | |
| 2001 | ||
| 3 | EE | Katalin Bimbó: Semantics for Structurally Free Logics LC+. Logic Journal of the IGPL 9(4): (2001) |
| 2000 | ||
| 2 | Katalin Bimbó: Investigation into Combinatory Systems with Dual Combinators. Studia Logica 66(2): 285-296 (2000) | |
| 1998 | ||
| 1 | EE | Katalin Bimbó, J. Michael Dunn: Two Extensions of the Structurally Free Logic LC*. Logic Journal of the IGPL 6(3): 403-424 (1998) |
| 1 | J. Michael Dunn | [1] |