formaloi
Formaloi is a term that has been used in various disciplinary contexts to denote a class of formal structures or individuals that exhibit a specific set of properties. The word derives from Latin roots meaning “formal” combined with a Greek plural ending, suggesting its roots in classical languages. In the field of formal logic and mathematics, formaloi are often referenced as objects that serve as templates for formal proofs or algorithms. They can be found in literature on proof theory where each formaloi represents a particular inference rule applied within a deductive system.
In computer science, formaloi are occasionally mentioned in discussions of type theory and formal verification. In
The term also appears in some linguistic studies where formaloi are used to describe a group of
Because the application of the word varies with each discipline, formaloi is considered a general placeholder