Genotypic and Formal Semantic Language (ιιι)

Abstract

the genotypic language with case system can extend further if we introduce a new type of elementary operators that we will call depredicators.

The depredicators will be designated by the symbol D accompanied by the corresponding indices which we will indicate below.

depredicators transform predicates either into different types of terms or into operators.