Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Graded consequence: an institution theoretic study | Soft Computing |
| 5 | 2014 |
On the algebra of structured specifications | Theoretical Computer Science |
| 12 | 2011 |
Structural induction in institutions | Information and Computation |
| 5 | 2011 |
On quasi-varieties of multiple valued logic models | Mathematical Logic Quarterly |
| 8 | 2011 |
Ultraproducts and possible worlds semantics in institutions | Theoretical Computer Science |
| 16 | 2007 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Translation structures for fuzzy model theory | Fuzzy Sets and Systems |
| 2024 | |
The Axiomatic Approach to Non-Classical Model Theory | Mathematics |
| 2022 |