In recent years, despite large models demonstrating excellent performance in natural language processing tasks, a significant ...

In recent years, the rapid development of artificial intelligence has led to significant achievements of large models (such as GPT-3, BERT, etc.) in the field of natural language processing. However, ...

In addition, we shall show the finite model property for contractive linear logic (LLC), i.e., linear logic with contraction, and for its intuitionistic version (ILLC). The finite model property for ...

This paper deals with the adequacy of the model-theoretic definition of logical consequence. Logical consequence is commonly described as a necessary relation that can be determined by the form of the ...