Lines Matching refs:translations
154 proof tools) as well as logic translations. Individual logics and
182 currently supported logics and logic translations (the latter are also
288 via logic translations.\label{fig:Languages}}
464 other logics can be obtained by using logic translations to a
480 \section{Logic translations supported
484 Logic translations (formalized as institution comorphisms
502 In more detail, the following list of logic translations is currently
777 for explicit translations between logics, see \cite{Mossakowski04}.)
1526 goals can be given via a \texttt{theorems} field and special translations by a
1527 \texttt{translation} field. The available provers and translations can be
1528 queried by \texttt{?node=0\&translations} and \texttt{?node=0\&provers} or
1529 shorter by \texttt{?translations=0} and \texttt{?provers=0}, where instead of
2031 translations is realised similarly.
2057 the intra- and inter-logic translations) the theory, while
2177 graphs without hiding and without logic translations. \MAYA has been