2008 |
14 | EE | Willem J. Blok,
James G. Raftery:
Assertionally Equivalent quasivarieties.
IJAC 18(4): 589-681 (2008) |
2007 |
13 | EE | Ai-ni Hsieh,
James G. Raftery:
Conserving involution in residuated structures.
Math. Log. Q. 53(6): 583-609 (2007) |
2006 |
12 | EE | Ai-ni Hsieh,
James G. Raftery:
A finite model property for RMImin.
Math. Log. Q. 52(6): 602-612 (2006) |
11 | EE | Joel Berman,
Wieslaw Dziobiak,
Don Pigozzi,
James G. Raftery:
In Memory of Willem Johannes Blok 1947-2003.
Studia Logica 83(1-3): 5-14 (2006) |
2005 |
10 | EE | James G. Raftery,
Clint J. van Alten:
Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero.
Reports on Mathematical Logic 39: 133-135 (2005) |
2004 |
9 | EE | James G. Raftery:
Willem Blok's Work in Algebraic Logic.
Studia Logica 76(2): 155-160 (2004) |
8 | EE | Clint J. van Alten,
James G. Raftery:
Rule Separation and Embedding Theorems for Logics Without Weakening.
Studia Logica 76(2): 241-274 (2004) |
7 | EE | Nikolaos Galatos,
James G. Raftery:
Adding Involution to Residuated Structures.
Studia Logica 77(2): 181-207 (2004) |
6 | EE | Willem J. Blok,
James G. Raftery:
Fragments of R-Mingle.
Studia Logica 78(1-2): 59-106 (2004) |
2003 |
5 | EE | Ruth Davies,
Paul Roderick,
James G. Raftery:
The evaluation of disease prevention and treatment using simulation models.
European Journal of Operational Research 150(1): 53-66 (2003) |
4 | | G. D. Barbour,
James G. Raftery:
Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization.
Studia Logica 74(1-2): 99-152 (2003) |
2000 |
3 | | James G. Raftery,
Clint J. van Alten:
Residuation in Commutative Ordered Monoids with Minimal Zero.
Reports on Mathematical Logic 34: 23-57 (2000) |
1999 |
2 | | Clint J. van Alten,
James G. Raftery:
The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction.
Studia Logica 63(2): 213-222 (1999) |
1997 |
1 | EE | Clint J. van Alten,
James G. Raftery:
On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules.
Reports on Mathematical Logic 31: 3-55 (1997) |