A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems

We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predicates and composability of binary pre-logical relations in this generalised setting. This generalisation takes place in a categorical frametyped higher-order abstract syntax and semantics [Fio02,MS03].

• Type: Conference
• Year: 2004
• Where: ICALP
• Authors: Shin-ya Katsumata
• Keywords: Categorical Models, Generalisation Takes Place, ICALP 2004, Pre-logical Predicates, Theoretical Computer Science