With his research on Aristotle’s syllogistic, Jan Łukasiewicz initiates the branch of logic known as the calculus of names. This field deals with axiomatic systems that analyse various fragments of the logic of names, i.e., ...