In this paper we give a brief introduction to Natural Term Logic (NTL), a formal system not employing quantified variables that aims at directly mirroring the core logical-syntactic mechanisms and intensional expressivity of natural language.
https://www.academia.edu/180201039/Natural_Term_Logic_An_Overview