Stuctured list of selected publications (click here for the full list of publications)

Non-classical modal and predicate logics

(Abstract) algebraic logic

Substructural (semilinear) logics

Admissible rules and structural completeness

Game theory and logic

Formal fuzzy mathematics

Fuzzy logics with additional connectives

Proof theory of Mathematical Fuzzy Logic

Compactness in Mathematical Fuzzy Logic