361:
197:
480:
139:
176:
456:
324:
290:
102:
34:
446:
233:
152:
565:
334:
221:
78:
502:
436:
349:
119:
58:
546:
529:
517:
451:
441:
419:
248:
209:
22:
397:
344:
339:
295:
275:
238:
512:
490:
373:
329:
270:
485:
253:
30:
17:
559:
468:
414:
402:
280:
265:
385:
243:
143:
123:
82:
62:
312:
285:
156:
106:
534:
307:
180:
424:
46:
This category has the following 7 subcategories, out of 7 total.
507:
196:
The following 46 pages are in this category, out of 46 total.
8:
198:This list may not reflect recent changes
362:Journal of Applied Non-Classical Logics
193:Pages in category "Non-classical logic"
7:
202:
173:
116:
99:
48:
40:
14:
1:
481:Rational consequence relation
457:Probabilistic logic network
325:Independence-friendly logic
291:Dynamic logic (modal logic)
582:
28:
16:The main article for this
15:
33:is often contrasted with
447:Preferential entailment
234:Circumscription (logic)
335:Inquisitive semantics
222:Alternative semantics
437:Paraconsistent logic
350:Intuitionistic logic
140:Paraconsistent logic
547:The World of Null-A
530:Temperature paradox
518:Substructural logic
452:Probabilistic logic
442:Plausible reasoning
420:Non-monotonic logic
249:Computability logic
210:Non-classical logic
177:Substructural logic
23:Non-classical logic
398:Material inference
345:Intermediate logic
503:Schrödinger logic
340:Intensional logic
296:Dynamic semantics
276:Description logic
239:Cirquent calculus
103:Many-valued logic
573:
513:Subjective logic
491:Rvachev function
374:Kripke semantics
330:Infinitary logic
271:Defeasible logic
182:
175:
158:
145:
125:
118:
108:
101:
84:
64:
581:
580:
576:
575:
574:
572:
571:
570:
556:
555:
554:
553:
552:
551:
539:
522:
495:
486:Relevance logic
473:
461:
429:
407:
390:
378:
366:
354:
317:
300:
258:
254:Connexive logic
226:
214:
190:
189:
188:
187:
184:
183:
172:
163:
160:
159:
147:
146:
130:
127:
126:
115:
110:
109:
98:
89:
86:
85:
69:
66:
65:
39:
38:
35:Classical logic
27:
12:
11:
5:
579:
577:
569:
568:
558:
557:
550:
549:
543:
540:
538:
537:
532:
526:
523:
521:
520:
515:
510:
505:
499:
496:
494:
493:
488:
483:
477:
474:
472:
471:
465:
462:
460:
459:
454:
449:
444:
439:
433:
430:
428:
427:
422:
417:
411:
408:
406:
405:
400:
394:
391:
389:
388:
382:
379:
377:
376:
370:
367:
365:
364:
358:
355:
353:
352:
347:
342:
337:
332:
327:
321:
318:
316:
315:
310:
304:
301:
299:
298:
293:
288:
283:
278:
273:
268:
262:
259:
257:
256:
251:
246:
241:
236:
230:
227:
225:
224:
218:
215:
213:
212:
206:
204:
203:
194:
191:
186:
185:
171:
170:
167:
164:
162:
161:
151:
150:
148:
138:
137:
134:
131:
129:
128:
114:
113:
111:
97:
96:
93:
90:
88:
87:
77:
76:
73:
70:
68:
67:
57:
56:
53:
50:
49:
44:
41:
13:
10:
9:
6:
4:
3:
2:
578:
567:
564:
563:
561:
548:
545:
544:
541:
536:
533:
531:
528:
527:
524:
519:
516:
514:
511:
509:
506:
504:
501:
500:
497:
492:
489:
487:
484:
482:
479:
478:
475:
470:
469:Quantum logic
467:
466:
463:
458:
455:
453:
450:
448:
445:
443:
440:
438:
435:
434:
431:
426:
423:
421:
418:
416:
415:Nixon diamond
413:
412:
409:
404:
403:Modal fallacy
401:
399:
396:
395:
392:
387:
384:
383:
380:
375:
372:
371:
368:
363:
360:
359:
356:
351:
348:
346:
343:
341:
338:
336:
333:
331:
328:
326:
323:
322:
319:
314:
311:
309:
306:
305:
302:
297:
294:
292:
289:
287:
284:
282:
281:Deviant logic
279:
277:
274:
272:
269:
267:
266:Default logic
264:
263:
260:
255:
252:
250:
247:
245:
242:
240:
237:
235:
232:
231:
228:
223:
220:
219:
216:
211:
208:
207:
205:
201:
199:
192:
178:
174:
169:
168:
165:
154:
153:Program logic
149:
141:
136:
135:
132:
121:
117:
112:
104:
100:
95:
94:
91:
80:
75:
74:
71:
60:
55:
54:
51:
47:
43:Subcategories
42:
36:
32:
25:
24:
19:
566:Formal logic
386:Linear logic
244:Combs method
195:
79:Intuitionism
45:
21:
313:Fuzzy logic
286:Dialetheism
124:(6 C, 50 P)
120:Modal logic
107:(1 C, 11 P)
59:Fuzzy logic
535:Trivialism
308:Free logic
181:(1 C, 7 P)
560:Category
31:category
18:category
425:Noneism
144:(15 P)
83:(23 P)
63:(63 P)
157:(4 P)
29:This
508:SQLf
20:is
562::
200:.
179:
155:
142:
122:
105:
81:
61:
542:W
525:T
498:S
476:R
464:Q
432:P
410:N
393:M
381:L
369:K
357:J
320:I
303:F
261:D
229:C
217:A
166:S
133:P
92:M
72:I
52:F
37:.
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.