84:
74:
53:
22:
193:
The thing is, in this case it's
Chagrov and Zakharyaschev who use strange nomenclature. CPC (or just PC) and IPC are much more common than Cl and Int, to begin with they are almost universally used in the Dutch school (which is quite relevant to intuitionistic logic). In fact, I don't remember ever
211:
I have a paper that claims 'here and there' logic is a different name for
Smetanich logic, but .... Pearce states that "The logic of here and there is also known as "the logic of present and future", and "the Smetanich logic", and was first axiomatized by Lukasiewicz in 1941 ...
140:
240:
130:
235:
194:
seeing Cl outside of the C&Z book (although capitalized CL gets used, accompanied by IL). OTOH it can't hurt to mention both notations. --
106:
176:. This article uses some strange nomenclature. I think IPC and CPC should be changed to Int and Cl per Chagrov&Zakharychev's book.
213:
97:
58:
33:
21:
217:
39:
83:
221:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
73:
52:
173:
229:
163:
102:
172:
From the context it seems it stands for
Classical Propositional Calculus, i.e.
79:
198:
184:
177:
166:
195:
15:
101:, a collaborative effort to improve the coverage of
8:
19:
47:
49:
7:
206:
95:This article is within the scope of
38:It is of interest to the following
14:
241:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
236:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
207:What is 'here and there' logic?
135:This article has been rated as
1:
109:and see a list of open tasks.
257:
222:04:57, 23 June 2015 (UTC)
185:21:12, 29 June 2007 (UTC)
167:18:05, 29 June 2007 (UTC)
134:
67:
46:
199:10:03, 2 July 2007 (UTC)
141:project's priority scale
98:WikiProject Mathematics
28:This article is rated
121:mathematics articles
162:What logic is CPC?
90:Mathematics portal
34:content assessment
155:
154:
151:
150:
147:
146:
248:
182:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
256:
255:
251:
250:
249:
247:
246:
245:
226:
225:
209:
178:
174:classical logic
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
254:
252:
244:
243:
238:
228:
227:
208:
205:
204:
203:
202:
201:
188:
187:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
253:
242:
239:
237:
234:
233:
231:
224:
223:
219:
215:
200:
197:
192:
191:
190:
189:
186:
183:
181:
175:
171:
170:
169:
168:
165:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
210:
179:
161:
158:What is CPC?
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
214:61.92.69.43
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
230:Categories
139:on the
164:Jcreed
36:scale.
180:Grue
218:talk
131:Low
232::
220:)
196:EJ
216:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.