Logiweb dictionary of ijcar

Up Help

0	0	ijcar
1	2	general macro define * as * end define
2	1	make root visible * end visible
3	0	ijcar example axiom
4	0	ijcar example rule
5	0	ijcar example contradiction
6	0	ijcar example theory
7	0	ijcar example lemma
8	1	set * end set
9	1	object var * end var
10	0	object a
11	0	object b
12	0	object c
13	0	object d
14	0	object e
15	0	object f
16	0	object g
17	0	object h
18	0	object i
19	0	object j
20	0	object k
21	0	object l
22	0	object m
23	0	object n
24	0	object o
25	0	object p
26	0	object q
27	0	object r
28	0	object s
29	0	object t
30	0	object u
31	0	object v
32	0	object w
33	0	object x
34	0	object y
35	0	object z
36	4	sub * is * where * is * end sub
37	4	sub zero * is * where * is * end sub
38	4	sub one * is * where * is * end sub
39	4	sub star * is * where * is * end sub
40	2	deduction * conclude * end deduction
41	2	deduction zero * conclude * end deduction
42	3	deduction one * conclude * condition * end deduction
43	3	deduction two * conclude * condition * end deduction
44	4	deduction three * conclude * condition * bound * end deduction
45	4	deduction four * conclude * condition * bound * end deduction
46	4	deduction four star * conclude * condition * bound * end deduction
47	3	deduction five * condition * bound * end deduction
48	4	deduction six * conclude * exception * bound * end deduction
49	4	deduction six star * conclude * exception * bound * end deduction
50	1	deduction seven * end deduction
51	2	deduction eight * bound * end deduction
52	2	deduction eight * bound * end deduction
53	0	system s
54	0	double negation
55	0	rule mp
56	0	rule gen
57	0	deduction
58	0	axiom s one
59	0	axiom s two
60	0	axiom s three
61	0	axiom s four
62	0	axiom s five
63	0	axiom s six
64	0	axiom s seven
65	0	axiom s eight
66	0	axiom s nine
67	0	repetition
68	0	lemma a one
69	0	lemma a two
70	0	lemma a four
71	0	lemma a five
72	0	prop three two a
73	0	prop three two b
74	0	prop three two c
75	0	prop three two d
76	0	prop three two e one
77	0	prop three two e two
78	0	prop three two e
79	0	prop three two f one
80	0	prop three two f two
81	0	prop three two f
82	0	prop three two g one
83	0	prop three two g two
84	0	prop three two g
85	0	prop three two h one
86	0	prop three two h two
87	0	prop three two h
88	3	block one * state * cache * end block
89	1	block two * end block
90	1	* hide
91	1	macro indent *
92	1	* suc
93	2	* equal *
94	2	* unequal *
95	1	* is object var
96	2	* avoid zero *
97	2	* avoid one *
98	2	* avoid star *
99	2	exist * indeed *
100	2	for all * indeed *
101	2	for all objects * indeed *
102	2	* imply *
103	2	* if and only if *
104	2	* avoid *
105	2	* object modus ponens *
106	2	for all terms * indeed *
107	3	block * line * end block *
108	2	because * indeed * end line
109	2	any term * end line *
110	2	* alternative *
111	0	evaluates to
112	2	* safe row *