Lines Matching defs:Logic
170 Common Logic, OWL 2, LF, THF, HOL, Haskell, and Maude. For heterogeneous
432 Logic definitions in LF are based in the logic atlas of the Latin project \cite{project:latin}
480 \section{Logic translations supported
484 Logic translations (formalized as institution comorphisms
531 CommonLogic2CASL & Coding Common Logic to \CASL.Module elimination
533 CommonLogic2CASLCompact & Coding compact Common Logic to \CASL.
534 Compact Common Logic is a sublogic of Common Logic
539 CommonLogicModuleElimination & Eliminating modules from a Common Logic theory
1293 \item[Show Logic Graph] Shows the graph of logics and logic comorphisms
1643 {Automated Theorem Proving Systems\\(Logic SoftFOL)}
1991 class Logic lid sign morphism sentence basic_spec symbol_map
2041 \cite{Parsec}. Logic and translation names are looked up in the logic