Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Downward Löwenheim–Skolem Theorem and interpolation in logics with constructors | Journal of Logic and Computation |
| 9 | 2017 |
Graded consequence: an institution theoretic study | Soft Computing |
| 5 | 2014 |
The Institution-Theoretic Scope of Logic Theorems | Logica Universalis |
| 1 | 2014 |
Institutional semantics for many-valued logics | Fuzzy Sets and Systems |
| 12 | 2013 |
Interpolation for predefined types | 2012 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Translation structures for fuzzy model theory | Fuzzy Sets and Systems |
| 2024 | |
The Craig interpolation property in first-order Gödel logic | Fuzzy Sets and Systems |
| 2024 | |
Some Model Theoretic Properties for Pavelka-Style Gödel Logic, RGL* and Gödel Logic with Δ | Axioms |
| 2023 |