Article thumbnail

Towards Automated Derivation in the Theory of Allegories

By Joel Glanfield Msc and List Of Figures

Abstract

2.1 Graphs representing the terms 1 n xxO and dom(x)....... 8 2.2 Sample graphs representing the basic graphs 1, 2x, and the operations gllg2, gIilg2, g-l and br(g) in PLIx. The corre-sponding terms are listed to the left of each graph...... 9 2.3 Sample terms in ALL with their respective graphs in PLlx.. 9 2.4 Normalization process of graphs representing terms in ALL 12 3.1 A I-arrow that is difficult to characterize........... 18 3.2 An example of generating the graph h*............ 20 3.3 Some embeddings that occur during the decision procedure (i.e. the solid arrows represent the embeddings, while i.pI,i.p2 represent compositions of I-arrows)................ 21 3.4 Some epimorphisms (e) and rnonomorphisms (m) that occur during the decision procedure that allow us to extract a deriva-tion mechanism........................... 22 3.5 A theoretical example of generating the graph h * where h * is not in PLlx............................. 26 3.6 A concrete example of generating the graph h * where h * is no

Topics: by Lemma 4........................... 29
Year: 2008
OAI identifier: oai:CiteSeerX.psu:10.1.1.1002.5233
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dr.library.brocku.ca/bi... (external link)
  • http://dr.library.brocku.ca/bi... (external link)
  • http://citeseerx.ist.psu.edu/v... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.