加载中…
This short paper addresses the open problems left in a previous paper by Franco Montagna and Carles Noguera. Besides giving solutions to these two problems, some clarification concerning the role of the full vocabulary (including functional symbols) in the proofs there given is also discussed.

生成讲解博客的中文版本

生成AI智能校验的中文版本