Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Canonical extensions and relational completeness of some substructural logics | The Journal of Symbolic Logic |
| 55 | 2005 |
Saturated models of intuitionistic theories | Annals of Pure and Applied Logic |
| 3 | 2004 |
Bounded Lattice Expansions | Journal of Algebra |
| 98 | 2001 |
Completeness results for intuitionistic and modal logic in a categorical setting | Annals of Pure and Applied Logic |
| 13 | 1995 |
Conceptual completeness for first-order Intuitionistic logic: an application of categorical logic | Annals of Pure and Applied Logic |
| 8 | 1989 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
On duality and model theory for polyadic spaces | Annals of Pure and Applied Logic |
| 2024 | |
Type space functors and interpretations in positive logic | Archive for Mathematical Logic |
| 2022 | |
Ultrafilters, finite coproducts and locally connected classifying toposes | Annals of Pure and Applied Logic |
| 1 | 2020 |
Canonical extensions of locally compact frames | Topology and its Applications |
| 2020 | |
Resource semantics | ACM SIGLOG News | 3 | 2019 |
Category | Category Repetition |
---|---|
Science: Mathematics | 5 |
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods | 3 |