# Zhe Lin

Affiliations:- Sun Yat-sen University, Institute of Logic and Cognition, Guangzhou, China
- Adam Mickiewicz University, Poznan, Poland (former)

According to our database

Collaborative distances:

^{1}, Zhe Lin authored at least 19 papers between 2010 and 2022.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2022

A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics.

Stud Logica, 2022

2021

Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability.

Fundam. Informaticae, 2021

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

2020

Proceedings of the Computer Vision - ECCV 2020, 2020

2019

Log. J. IGPL, 2019

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2018

CoRR, 2018

Proceedings of the Rough Sets - International Joint Conference, 2018

Proceedings of the Rough Sets - International Joint Conference, 2018

2016

Proceedings of the Logic, Language, Information, and Computation, 2016

2014

Non-associative Lambek calculus with modalities: interpolation, complexity and FEP.

Log. J. IGPL, 2014

CoRR, 2014

CoRR, 2014

The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus.

CoRR, 2014

2012

J. Comput. Syst. Sci., 2012

Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free.

Proceedings of the Logical Aspects of Computational Linguistics, 2012

2010

Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness.

Proceedings of the Language and Automata Theory and Applications, 2010

Proceedings of the Language and Automata Theory and Applications, 2010