Hets - the Heterogeneous Tool Set

Copyright(c) Jonathan von Schroeder, DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainer<jonathan.von_schroeder@dfki.de>
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

QBF.Morphism

Description

Definition of morphisms for propositional logic copied to Temporal.Morphism Ref.

Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki. What is a Logic?. In Jean-Yves Beziau (Ed.), Logica Universalis, pp. 113-133. Birkhaeuser. 2005.

Synopsis

Documentation

pretty :: Pretty a => a -> Doc

idMor :: Sign -> Morphism

Constructs an id-morphism

isLegalMorphism :: Morphism -> Result ()

Determines whether a morphism is valid

composeMor :: Morphism -> Morphism -> Result Morphism

Composition of morphisms in propositional Logic

inclusionMap :: Sign -> Sign -> Morphism

Inclusion map of a subsig into a supersig

mapSentence :: Morphism -> FORMULA -> Result FORMULA

sentence translation along signature morphism here just the renaming of formulae

applyMap :: Map Id Id -> Id -> Id

Application function for propMaps

applyMorphism :: Morphism -> Id -> Id

Application funtion for morphisms