Tripos classification

Tripos classification is a conceptual framework for categorizing and analyzing logical systems or computational models using the structure of triposes, which generalize predicate logic over a base category.