1

Combining Soft Linear Logic and Spatio-temporal Operators

E-Article
2

Trilattice logic: an embedding-based approach

E-Article
3

Linear Logics with Communication-merge

E-Article
4

Relevance Principle for Substructural Logics with Mingle and Strong Negation

E-Article
5

Strong normalization in some temporal substructural logics

E-Article
6

Embedding-based approaches to paraconsistent and temporal description logics

E-Article
7

Intuitionistic Trilattice Logics

E-Article