2006 |
9 | EE | Wojciech Dzik,
Ewa Orlowska,
Clint J. van Alten:
Relational Representation Theorems for General Lattices with Negations.
RelMiCS 2006: 162-176 |
8 | EE | Wojciech Dzik,
Ewa Orlowska,
Clint J. van Alten:
Relational Representation Theorems for Lattices with Negations: A Survey.
Theory and Applications of Relational Structures as Knowledge Instruments 2006: 245-266 |
7 | EE | Clint J. van Alten:
On Varieties of Biresiduation Algebras.
Studia Logica 83(1-3): 425-445 (2006) |
2005 |
6 | 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 |
5 | EE | Clint J. van Alten,
James G. Raftery:
Rule Separation and Embedding Theorems for Logics Without Weakening.
Studia Logica 76(2): 241-274 (2004) |
2000 |
4 | | Willem J. Blok,
Clint J. van Alten:
On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebras.
Reports on Mathematical Logic 34: 159-165 (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) |