 | 2008 |
|---|
| 11 |       | J. S. Olson,
James G. Raftery,
Clint J. van Alten:
Structural Completeness in Substructural Logics.
Logic Journal of the IGPL 16(5): 453-495 (2008) |
| 2006 |
|---|
| 10 | | Wojciech Dzik,
Ewa Orlowska,
Clint J. van Alten:
Relational Representation Theorems for General Lattices with Negations.
RelMiCS 2006: 162-176 |
| 9 | | 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 |
| 8 | | Clint J. van Alten:
On Varieties of Biresiduation Algebras.
Studia Logica 83(1-3): 425-445 (2006) |
| 2005 |
|---|
| 7 | | Clint J. van Alten:
The finite model property for knotted extensions of propositional linear logic.
J. Symb. Log. 70(1): 84-98 (2005) |
| 6 | | 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 | | 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 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page