Copyright	(c) Kristina Sojakova, DFKI Bremen 2009
License	GPLv2 or higher, see LICENSE.txt
Maintainer	k.sojakova@jacobs-university.de
Stability	experimental
Portability	portable
Safe Haskell	None

DFOL.Logic_DFOL

Description

Ref: Florian Rabe: First-Order Logic with Dependent Types. IJCAR 2006, pages 377-391.

Documentation

Show DFOL
Language DFOL
Sentences DFOL FORMULA Sign Morphism Symbol
Syntax DFOL BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis DFOL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol
Logic DFOL () BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ()
Comorphism DFOL2CASL DFOL () BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree