112:
66:
153:
56:, and many benefits are claimed to follow in these investigations from the way in which deep inference is made available in the calculus.
91:
172:
146:
33:
177:
37:
139:
17:
123:
53:
45:
95:
29:
25:
166:
99:
41:
49:
111:
86:
65:
Alessio
Guglielmi (2004)., 'A System of Interaction and Structure'.
119:
127:
74:Deep Inference and Symmetry in Classical Proofs
40:. The calculus has since been applied to study
147:
8:
154:
140:
98:in the calculus of structures, using the
67:ACM Transactions on Computational Logic
94:: page documenting implementations of
7:
108:
106:
126:. You can help Knowledge (XXG) by
14:
110:
87:Calculus of structures homepage
1:
194:
105:
34:structural proof theory
122:-related article is a
22:calculus of structures
72:Kai Brünnler (2004).
38:noncommutative logic
18:mathematical logic
135:
134:
32:for studying the
185:
156:
149:
142:
114:
107:
193:
192:
188:
187:
186:
184:
183:
182:
173:Logical calculi
163:
162:
161:
160:
96:logical systems
83:
76:. Logos Verlag.
62:
54:process calculi
46:classical logic
12:
11:
5:
191:
189:
181:
180:
175:
165:
164:
159:
158:
151:
144:
136:
133:
132:
115:
104:
103:
89:
82:
81:External links
79:
78:
77:
70:
61:
58:
30:deep inference
26:proof calculus
13:
10:
9:
6:
4:
3:
2:
190:
179:
176:
174:
171:
170:
168:
157:
152:
150:
145:
143:
138:
137:
131:
129:
125:
121:
116:
113:
109:
101:
97:
93:
90:
88:
85:
84:
80:
75:
71:
68:
64:
63:
59:
57:
55:
51:
47:
43:
39:
35:
31:
27:
23:
19:
128:expanding it
117:
100:Maude system
92:CoS in Maude
73:
42:linear logic
21:
15:
178:Logic stubs
50:modal logic
167:Categories
60:References
52:, and
20:, the
120:logic
118:This
28:with
24:is a
124:stub
36:of
16:In
169::
48:,
44:,
155:e
148:t
141:v
130:.
102:.
69:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.