| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 12 |      | Katalin Bimbó: Schönfinkel-type Operators for Classical Logic. Studia Logica 95(3): 355-378 (2010) |
| 2009 | ||
| 11 | | Katalin Bimbó: Dual Gaggle Semantics for Entailment. Notre Dame Journal of Formal Logic 50(1): 23-41 (2009) |
| 2007 | ||
| 10 | | Katalin Bimbó: LEt ® , LR °[^( ~ )], LK and Cutfree Proofs. J. Philosophical Logic 36(5): 557-570 (2007) |
| 2005 | ||
| 9 | | Katalin Bimbó: Types of I -Free Hereditary Right Maximal Terms. J. Philosophical Logic 34(5-6): 607-620 (2005) |
| 8 | | Katalin Bimbó: The Church-Rosser property in symmetric combinatory logic. J. Symb. Log. 70(2): 536-556 (2005) |
| 7 | | Katalin Bimbó, J. Michael Dunn: Relational Semantics for Kleene Logic and Action Logic. Notre Dame Journal of Formal Logic 46(4): 461-490 (2005) |
| 6 | | Katalin Bimbó: Admissibility of Cut in LC with Fixed Point Combinator. Studia Logica 81(3): 399-423 (2005) |
| 2004 | ||
| 5 | | Katalin Bimbó: Semantics for Dual and Symmetric Combinatory Calculi. J. Philosophical Logic 33(2): 125-153 (2004) |
| 2003 | ||
| 4 |  | Katalin Bimbó: The Church-Rosser property in dual combinatory logic. J. Symb. Log. 68(1): 132-152 (2003) |
| 2001 | ||
| 3 | | Katalin Bimbó: Semantics for Structurally Free Logics LC+. Logic Journal of the IGPL 9(4): 525-539 (2001) |
| 2000 | ||
| 2 | | Katalin Bimbó: Investigation into Combinatory Systems with Dual Combinators. Studia Logica 66(2): 285-296 (2000) |
| 1998 | ||
| 1 | | 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] [7] |
Data released under the ODC-BY 1.0 license — See also our legal information page