No posts. Show all posts
No posts. Show all posts

Natural Term Logic: An Overview

In this paper we give a brief introduction to Natural Term Logic (NTL), a formal system not employing quantified variables that aims at dire...