Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Relational semantics for full linear logic | Journal of Applied Logic | 9 | 2014 | |
Generalized Kripke semantics for the Lambek-Grishin calculus | Logic Journal of the IGPL |
| 11 | 2012 |
MacNeille completions of lattice expansions | Algebra universalis |
| 17 | 2007 |
10.1090/S0002-9947-05-03816-X | 2006 | |||
Generalized Kripke Frames | Studia Logica |
| 35 | 2006 |