Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
A semantic hierarchy for intuitionistic logic | Indagationes Mathematicae |
| 15 | 2019 |
10.1017/S1755020319000017 | 2019 | |||
10.1090/S0002-9947-2012-05573-5 | 2013 | |||
10.1017/S1755020313000099 | 2013 | |||
Cover semantics for quantified lax logic | Journal of Logic and Computation |
| 13 | 2011 |