2007 |
12 | EE | Lloyd Humberstone:
Investigations into a left-structural right-substructural sequent calculus.
Journal of Logic, Language and Information 16(2): 141-171 (2007) |
11 | EE | Lloyd Humberstone,
Robert K. Meyer:
The Relevant Equivalence Property.
Logic Journal of the IGPL 15(2): 165-181 (2007) |
2006 |
10 | EE | Lloyd Humberstone:
Weaker-to-Stronger Translational Embeddings in Modal Logic.
Advances in Modal Logic 2006: 279-297 |
9 | EE | Lloyd Humberstone:
Extensions of Intuitionistic Logic without the Deduction Theorem: Some Simple Examples.
Reports on Mathematical Logic 40: 45-82 (2006) |
2004 |
8 | EE | Allen Hazen,
Lloyd Humberstone:
Similarity Relations and the Preservation of Solidity.
Journal of Logic, Language and Information 13(1): 25-46 (2004) |
2002 |
7 | | Lloyd Humberstone:
The Modal Logic of Agreement and Noncontingency.
Notre Dame Journal of Formal Logic 43(2): 95-127 (2002) |
2000 |
6 | | Lloyd Humberstone:
An Intriguing Logic with Two Implicational Connectives.
Notre Dame Journal of Formal Logic 41(1): 1-40 (2000) |
1998 |
5 | | Lloyd Humberstone:
Note on Supervenience and Definability.
Notre Dame Journal of Formal Logic 39(2): 243-252 (1998) |
1997 |
4 | | Lloyd Humberstone,
Timothy Williamson:
Inverses for Normal Modal Operators.
Studia Logica 59(1): 33-64 (1997) |
1996 |
3 | | Lloyd Humberstone:
A Basic System of Congruential-to-Monotone Bimodal Logic and Two of its Extensions.
Notre Dame Journal of Formal Logic 37(4): 602-612 (1996) |
1995 |
2 | | Lloyd Humberstone:
The Logic of Non-contingency.
Notre Dame Journal of Formal Logic 36(2): 214-229 (1995) |
1981 |
1 | | John N. Crossley,
Lloyd Humberstone:
Meeting of the Association for Symbolic Logic: Melbourne, Australia 1979.
J. Symb. Log. 46(2): 424-426 (1981) |