Lines Matching refs:translations
211 as logic translations. The \Hets motherboard already has plugged in
273 theories, conservative extensions, translations of theories
274 along logic translations, etc.
286 currently supported logics and logic translations (the latter are also
398 other logics can be obtained by using logic translations to a
422 \section{Logic translations supported by Hets}
425 Logic translations (formalised as institution comorphisms
432 In more detail, the following list of logic translations involving Common Logic
462 For further information on logic translations supported by \Hets, see the \Hets
644 for explicit translations between logics, see \cite{Mossakowski04}.)