Skip to content
Snippets Groups Projects
Commit 88e57ed3 authored by m-iancu's avatar m-iancu
Browse files

more

parent 8aac2e48
No related branches found
No related tags found
No related merge requests found
No preview for this file type
......@@ -36,13 +36,13 @@ The relation $r$ is between the recap and the cited paper is left unspecified at
\begin{figure}[ht]\centering
\begin{tikzpicture}
%realm
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-3.5) rectangle (5,3.5) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,3.5) {};
%p-paper
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-4.5,-0.5) rectangle (-1.5,2.8) {};
%p1
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-0.5,-3.5) rectangle (1.5,1.8) {};
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-0.5,-1.5) rectangle (1.5,1.8) {};
%p2
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-3.5) rectangle (4.5,1.8) {};
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-1.5) rectangle (4.5,1.8) {};
\node (r-name) at (4.5,3.3) {$\mathit{Realm}$};
\node (p-name) at (-2,2.6) {$\mathit{Paper}$};
......@@ -54,18 +54,12 @@ The relation $r$ is between the recap and the cited paper is left unspecified at
\node[thy] (pcont) at (-3,2) {Paper Content};
\node[thy] (top1) at (0.5,1) {$\top$};
\node[thy] (tcdots1) at (0.5,0) {$\cdots$};
\node[thy] (citp) at (0.5,-1) {Cited Paper};
\node[thy] (bcdots1) at (0.5,-2) {$\cdots$};
\node[thy] (bot1) at (0.5,-3) {$\bot$};
\node[thy] (cdots) at (2, -1) {$\cdots$};
\node[thy] (citp) at (0.5,0) {Cited Paper};
\node[thy] (bot1) at (0.5,-1) {$\bot$};
\node[thy] (top2) at (3.5,1) {$\top$};
\node[thy] (bcdots2) at (3.5,-1) {$\cdots$};
\node[thy] (bot2) at (3.5,-3) {$\bot$};
\node[thy] (bot2) at (3.5,-1) {$\bot$};
\node[thy] (r) at (2,3) {Realm Face};
......@@ -77,13 +71,10 @@ The relation $r$ is between the recap and the cited paper is left unspecified at
\draw[->] (citp) to node[below] {$\cn{r}$} (recap);
\draw[conservative] (recap) to (pcont);
\draw[conservative] (bot1) to (bcdots1);
\draw[conservative] (bcdots1) to (citp);
\draw[conservative] (citp) to (tcdots1);
\draw[conservative] (tcdots1) to (top1);
\draw[conservative] (bot1) to (citp);
\draw[conservative] (citp) to (top1);
\draw[conservative] (bot2) to (bcdots2);
\draw[conservative] (bcdots2) to (top2);
\draw[conservative] (bot2) to (top2);
\draw[view, bend left = 15] (bot2) to (bot1);
\draw[view, bend left = 15] (bot1) to (bot2);
\end{tikzpicture}
......@@ -112,13 +103,13 @@ It also makes $v$ exist as induced by $v_1$ modulo conservativity.
\begin{figure}[ht]\centering
\begin{tikzpicture}
%realm
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-3.5) rectangle (5,3.5) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,3.5) {};
%p-paper
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-4.5,-0.5) rectangle (-1.5,2.8) {};
%p1
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-0.5,-3.5) rectangle (1.5,1.8) {};
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-0.5,-1.5) rectangle (1.5,1.8) {};
%p2
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-3.5) rectangle (4.5,1.8) {};
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-1.5) rectangle (4.5,1.8) {};
\node (r-name) at (4.5,3.3) {$\mathit{Realm}$};
\node (p-name) at (-2,2.6) {$\mathit{Paper}$};
......@@ -130,18 +121,11 @@ It also makes $v$ exist as induced by $v_1$ modulo conservativity.
\node[thy] (pcont) at (-3,2) {\cn{MToCACF}};
\node[thy] (top1) at (0.5,1) {$\top$};
\node[thy] (tcdots1) at (0.5,0) {$\cdots$};
\node[thy] (citp) at (0.5,-1) {Cited Paper};
\node[thy] (bcdots1) at (0.5,-2) {$\cdots$};
\node[thy] (bot1) at (0.5,-3) {$\bot$};
\node[thy] (cdots) at (2, -1) {$\cdots$};
\node[thy] (citp) at (0.5,0) {Cited Paper};
\node[thy] (bot1) at (0.5,-1) {$\bot$};
\node[thy] (top2) at (3.5,1) {$\top$};
\node[thy] (bcdots2) at (3.5,-1) {$\cdots$};
\node[thy] (bot2) at (3.5,-3) {$\bot$};
\node[thy] (bot2) at (3.5,-1) {$\bot$};
\node[thy] (r) at (2,3) {Realm Face};
......@@ -153,13 +137,10 @@ It also makes $v$ exist as induced by $v_1$ modulo conservativity.
\draw[conservative,red] (citp) to node[below] {$\cn{r}$} (recap);
\draw[conservative] (recap) to (pcont);
\draw[conservative] (bot1) to (bcdots1);
\draw[conservative] (bcdots1) to (citp);
\draw[conservative] (citp) to (tcdots1);
\draw[conservative] (tcdots1) to (top1);
\draw[conservative] (bot1) to (citp);
\draw[conservative] (citp) to (top1);
\draw[conservative] (bot2) to (bcdots2);
\draw[conservative] (bcdots2) to (top2);
\draw[conservative] (bot2) to (top2);
\draw[view, bend left = 15] (bot2) to (bot1);
\draw[view, bend left = 15] (bot1) to (bot2);
\end{tikzpicture}
......@@ -170,7 +151,7 @@ It also makes $v$ exist as induced by $v_1$ modulo conservativity.
\begin{figure}[ht]\centering
\begin{tikzpicture}
%realm
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-3,-3.5) rectangle (5,3.5) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-3,-3.7) rectangle (5,3.5) {};
%p1
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-2.5,-3.5) rectangle (1.5,1.8) {};
%p2
......@@ -189,16 +170,11 @@ It also makes $v$ exist as induced by $v_1$ modulo conservativity.
\node[thy] (citp) at (-0.5,-2) {Cited Paper};
\node[thy] (bot1) at (-0.5,-3) {$\bot$};
\node[thy] (cdots) at (2, -1) {$\cdots$};
\node[thy] (top2) at (3.5,1) {$\top$};
\node[thy] (bcdots2) at (3.5,-1) {$\cdots$};
\node[thy] (bot2) at (3.5,-3) {$\bot$};
\node[thy] (r) at (2,3) {Realm Face};
\node[thy] (r) at (1.5,3) {Realm Face};
\draw[view] (r) to node[left] {$\cn{v_1}$} (top1);
\draw[view] (r) to node[right] {$\cn{v_2}$} (top2);
......@@ -212,8 +188,7 @@ It also makes $v$ exist as induced by $v_1$ modulo conservativity.
\draw[conservative] (pcont) to (top1);
\draw[conservative] (bot2) to (bcdots2);
\draw[conservative] (bcdots2) to (top2);
\draw[conservative] (bot2) to (top2);
\draw[view, bend left = 15] (bot2) to (bot1);
\draw[view, bend left = 15] (bot1) to (bot2);
\end{tikzpicture}
......@@ -240,13 +215,13 @@ A flexiformal system can still reason about the meaning travel induced by a post
\begin{figure}[ht]\centering
\begin{tikzpicture}
%realm
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-3.5) rectangle (5,3.5) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,3.5) {};
%p-paper
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-4.5,-0.5) rectangle (-1.5,2.8) {};
%p1
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-0.5,-3.5) rectangle (1.5,1.8) {};
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-0.5,-1.5) rectangle (1.5,1.8) {};
%p2
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-3.5) rectangle (4.5,1.8) {};
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-1.5) rectangle (4.5,1.8) {};
\node (r-name) at (4.5,3.3) {$\mathit{Realm}$};
\node (p-name) at (-2,2.6) {$\mathit{Paper}$};
......@@ -258,18 +233,11 @@ A flexiformal system can still reason about the meaning travel induced by a post
\node[thy] (pcont) at (-3,2) {\cn{ICMnets}};
\node[thy] (top1) at (0.5,1) {$\top$};
\node[thy] (tcdots1) at (0.5,0) {$\cdots$};
\node[thy] (citp) at (0.5,-1) {Cited Paper};
\node[thy] (bcdots1) at (0.5,-2) {$\cdots$};
\node[thy] (bot1) at (0.5,-3) {$\bot$};
\node[thy] (cdots) at (2, -1) {$\cdots$};
\node[thy] (citp) at (0.5,0) {Cited Paper};
\node[thy] (bot1) at (0.5,-1) {$\bot$};
\node[thy] (top2) at (3.5,1) {$\top$};
\node[thy] (bcdots2) at (3.5,-1) {$\cdots$};
\node[thy] (bot2) at (3.5,-3) {$\bot$};
\node[thy] (bot2) at (3.5,-1) {$\bot$};
\node[thy] (r) at (2,3) {Realm Face};
......@@ -284,13 +252,10 @@ A flexiformal system can still reason about the meaning travel induced by a post
\draw[conservative] (recap) to (pcont);
\draw[conservative] (bot1) to (bcdots1);
\draw[conservative] (bcdots1) to (citp);
\draw[conservative] (citp) to (tcdots1);
\draw[conservative] (tcdots1) to (top1);
\draw[conservative] (bot1) to (citp);
\draw[conservative] (citp) to (top1);
\draw[conservative] (bot2) to (bcdots2);
\draw[conservative] (bcdots2) to (top2);
\draw[conservative] (bot2) to (top2);
\draw[view, bend left = 15] (bot2) to (bot1);
\draw[view, bend left = 15] (bot1) to (bot2);
\end{tikzpicture}
......@@ -309,13 +274,13 @@ we take into account conservativity to reduce them to the $\bot$ theory.
\begin{figure}[ht]\centering
\begin{tikzpicture}
%realm
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-4,-3.5) rectangle (5,3.5) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-4,-1.7) rectangle (5,3.5) {};
%p0
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-3.5,-3.5) rectangle (-1.5,1.8) {};
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-3.5,-1.5) rectangle (-1.5,1.8) {};
%p1
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-0.5,-3.5) rectangle (1.5,1.8) {};
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-0.5,-1.5) rectangle (1.5,1.8) {};
%p2
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-3.5) rectangle (4.5,1.8) {};
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-1.5) rectangle (4.5,1.8) {};
\node (r-name) at (4.5,3.3) {$\mathit{Realm}$};
\node (p3-name) at (-2.8,1.6) {$\mathit{Pillar_{n+1}}$};
......@@ -324,22 +289,16 @@ we take into account conservativity to reduce them to the $\bot$ theory.
\node[thy] (recap) at (-2.5,-3) {\cn{MNets}};
\node[thy] (recap) at (-2.5,-1) {\cn{MNets}};
\node[thy] (pcont) at (-2.5,1) {\cn{ICMnets}};
\node[thy] (top1) at (0.5,1) {$\top$};
\node[thy] (tcdots1) at (0.5,0) {$\cdots$};
\node[thy] (citp) at (0.5,-1) {Cited Paper};
\node[thy] (bcdots1) at (0.5,-2) {$\cdots$};
\node[thy] (bot1) at (0.5,-3) {$\bot$};
\node[thy] (cdots) at (2, -1) {$\cdots$};
\node[thy] (citp) at (0.5,0) {Cited Paper};
\node[thy] (bot1) at (0.5,-1) {$\bot$};
\node[thy] (top2) at (3.5,1) {$\top$};
\node[thy] (bcdots2) at (3.5,-1) {$\cdots$};
\node[thy] (bot2) at (3.5,-3) {$\bot$};
\node[thy] (bot2) at (3.5,-1) {$\bot$};
\node[thy] (r) at (0.5,3) {Realm Face};
......@@ -354,13 +313,10 @@ we take into account conservativity to reduce them to the $\bot$ theory.
\draw[conservative] (recap) to (pcont);
\draw[conservative] (bot1) to (bcdots1);
\draw[conservative] (bcdots1) to (citp);
\draw[conservative] (citp) to (tcdots1);
\draw[conservative] (tcdots1) to (top1);
\draw[conservative] (bot1) to (citp);
\draw[conservative] (citp) to (top1);
\draw[conservative] (bot2) to (bcdots2);
\draw[conservative] (bcdots2) to (top2);
\draw[conservative] (bot2) to (top2);
\draw[view, bend left = 15] (bot2) to (bot1);
\draw[view, bend left = 15] (bot1) to (bot2);
\end{tikzpicture}
......@@ -388,14 +344,14 @@ precisely but there are some interesting things there, we should talk about it}
\begin{figure}[ht]\centering
\begin{tikzpicture}
%realm
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-3.5) rectangle (5,3.5) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,3.5) {};
%p-paper
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-6,-0.5) rectangle (-4,2.8) {};
%p1
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-0.5,-3.5) rectangle (1.5,1.8) {};
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-0.5,-1.5) rectangle (1.5,1.8) {};
%p2
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-3.5) rectangle (4.5,1.8) {};
%realm
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-1.5) rectangle (4.5,1.8) {};
%realm2
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-3.5,-2.3) rectangle (-1.5,-1) {};
......@@ -416,18 +372,11 @@ precisely but there are some interesting things there, we should talk about it}
\node[thy] (top1) at (0.5,1) {$\top$};
\node[thy] (tcdots1) at (0.5,0) {$\cdots$};
\node[thy] (citp) at (0.5,-1) {atm};
\node[thy] (bcdots1) at (0.5,-2) {$\cdots$};
\node[thy] (bot1) at (0.5,-3) {$\bot$};
\node[thy] (cdots) at (2, -1) {$\cdots$};
\node[thy] (citp) at (0.5,0) {atm};
\node[thy] (bot1) at (0.5,-1) {$\bot$};
\node[thy] (top2) at (3.5,1) {$\top$};
\node[thy] (bcdots2) at (3.5,-1) {$\cdots$};
\node[thy] (bot2) at (3.5,-3) {$\bot$};
\node[thy] (bot2) at (3.5,-1) {$\bot$};
\node[thy] (r) at (2,3) {Realm Face};
......@@ -439,13 +388,10 @@ precisely but there are some interesting things there, we should talk about it}
\draw[view,red] (citp) to node[below] {$\cn{v_{from}}$} (recap);
\draw[conservative] (recap) to (pcont);
\draw[conservative] (bot1) to (bcdots1);
\draw[conservative] (bcdots1) to (citp);
\draw[conservative] (citp) to (tcdots1);
\draw[conservative] (tcdots1) to (top1);
\draw[conservative] (bot1) to (citp);
\draw[conservative] (citp) to (top1);
\draw[conservative] (bot2) to (bcdots2);
\draw[conservative] (bcdots2) to (top2);
\draw[conservative] (bot2) to (top2);
\draw[view, bend left = 15] (bot2) to (bot1);
\draw[view, bend left = 15] (bot1) to (bot2);
\end{tikzpicture}
......@@ -464,13 +410,13 @@ given in the literature (which we represent as a realm).
\begin{figure}[ht]\centering
\begin{tikzpicture}
%realm
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-3.5) rectangle (5,3.5) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,3.5) {};
%p-paper
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-4.5,-0.5) rectangle (-1.5,2.8) {};
%p1
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-0.5,-3.5) rectangle (1.5,1.8) {};
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-0.5,-1.5) rectangle (1.5,1.8) {};
%p2
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-3.5) rectangle (4.5,1.8) {};
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-1.5) rectangle (4.5,1.8) {};
\node (r-name) at (4.5,3.3) {$\mathit{Realm}$};
\node (p-name) at (-2,2.6) {$\mathit{Paper}$};
......@@ -482,19 +428,11 @@ given in the literature (which we represent as a realm).
\node[thy] (pcont) at (-3,2) {\cn{SETOPS}};
\node[thy] (top1) at (0.5,1) {$\top$};
\node[thy] (tcdots1) at (0.5,0) {$\cdots$};
\node[thy] (citp) at (0.5,-1) {\cn{ZFset}};
\node[thy] (bcdots1) at (0.5,-2) {$\cdots$};
\node[thy] (bot1) at (0.5,-3) {$\bot$};
\node[thy] (cdots) at (2, -1) {$\cdots$};
\node[thy] (citp) at (0.5,0) {\cn{ZFset}};
\node[thy] (bot1) at (0.5,-1) {$\bot$};
\node[thy] (top2) at (3.5,1) {$\top$};
\node[thy] (bcdots2) at (3.5,-1) {$\cdots$};
\node[thy] (bot2) at (3.5,-3) {$\bot$};
\node[thy] (bot2) at (3.5,-1) {$\bot$};
\node[thy] (r) at (2,3) {Realm Face};
......@@ -507,13 +445,10 @@ given in the literature (which we represent as a realm).
\draw[conservative] (recap) to (pcont);
\draw[conservative] (bot1) to (bcdots1);
\draw[conservative] (bcdots1) to (citp);
\draw[conservative] (citp) to (tcdots1);
\draw[conservative] (tcdots1) to (top1);
\draw[conservative] (bot1) to (citp);
\draw[conservative] (citp) to (top1);
\draw[conservative] (bot2) to (bcdots2);
\draw[conservative] (bcdots2) to (top2);
\draw[conservative] (bot2) to (top2);
\draw[view, bend left = 15] (bot2) to (bot1);
\draw[view, bend left = 15] (bot1) to (bot2);
\end{tikzpicture}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment