Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Structural induction in institutions | Information and Computation |
| 5 | 2011 |
On quasi-varieties of multiple valued logic models | Mathematical Logic Quarterly |
| 8 | 2011 |
10.1017/S0960129500001067 | 1996 | |||
Graded consequence: further studies | Journal of Applied Non-Classical Logics | 18 | 1995 | |
Institutions: abstract model theory for specification and programming | Journal of the ACM |
| 266 | 1992 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Translation structures for fuzzy model theory | Fuzzy Sets and Systems |
| 2024 | |
Preservation in many-valued truth institutions | Fuzzy Sets and Systems |
| 2 | 2023 |
Generalised graded interpolation | International Journal of Approximate Reasoning |
| 3 | 2023 |
The Axiomatic Approach to Non-Classical Model Theory | Mathematics |
| 2022 | |
Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning | Journal of Applied Non-Classical Logics | 7 | 2019 |