466:
360:
1475:
139:
309:
923:
17:
401:
1499:
285:
145:
612:
432:
94:
1131:
1260:
940:
1520:
1409:
1493:
219:
1085:
918:
798:
1414:
692:
571:
314:
935:
394:
1530:
1489:
928:
566:
529:
1440:
583:
214:
1419:
1344:
1126:
617:
509:
497:
492:
1317:
425:
1535:
1401:
1037:
955:
830:
782:
596:
519:
387:
265:
989:
870:
682:
502:
1455:
905:
875:
819:
739:
719:
697:
48:
1374:
1220:
979:
969:
803:
734:
687:
627:
514:
375:
8:
1525:
1329:
1312:
1292:
1255:
1204:
1199:
1141:
1078:
974:
885:
793:
788:
602:
544:
482:
418:
82:
44:
1265:
1194:
1151:
897:
892:
677:
632:
539:
367:
339:
228:
157:
28:
1479:
1450:
1445:
1435:
1369:
1297:
1182:
754:
591:
554:
524:
455:
331:
281:
246:
1384:
1110:
1105:
1042:
1032:
1017:
1012:
880:
534:
323:
273:
238:
195:
181:
1230:
1172:
911:
849:
667:
487:
78:
277:
1484:
1177:
1156:
1071:
1047:
844:
825:
729:
714:
671:
607:
549:
371:
242:
199:
1514:
1334:
1275:
1052:
854:
768:
763:
335:
250:
186:
63:
59:
1022:
71:
1324:
1146:
1002:
997:
815:
744:
702:
561:
465:
86:
1359:
1354:
1307:
1027:
662:
70:
in general determine different Gödel logics. The concept is named after
52:
1302:
1270:
1235:
1007:
778:
441:
343:
1364:
1225:
1136:
810:
773:
724:
622:
272:. Lecture Notes in Computer Science. Vol. 6397. pp. 30–51.
233:
327:
1285:
1349:
1280:
1187:
835:
657:
213:
Baaz, Matthias; Preining, Norbert; Zach, Richard (2007-06-01).
1379:
1094:
707:
474:
410:
359:
270:
Logic for
Programming, Artificial Intelligence, and Reasoning
1339:
1063:
134:{\displaystyle (A\rightarrow B)\lor (B\rightarrow A)}
97:
310:"A propositional calculus with denumerable matrix"
133:
1512:
212:
1079:
426:
395:
85:Gödel logic can be axiomatised by adding the
66:containing both 0 and 1. Different such sets
182:"Skolem's Discovery of Gödel-Dummett Logic"
1086:
1072:
433:
419:
402:
388:
232:
179:
263:
307:
14:
1513:
1067:
414:
354:
175:
173:
1261:Analytic and synthetic propositions
1132:Formal semantics (natural language)
24:
146:intuitionistic propositional logic
25:
1547:
170:
1473:
464:
358:
220:Annals of Pure and Applied Logic
440:
301:
257:
206:
128:
122:
116:
110:
104:
98:
13:
1:
315:The Journal of Symbolic Logic
163:
43:, is a member of a family of
374:. You can help Knowledge by
81:showed that infinite-valued
7:
278:10.1007/978-3-642-16242-8_4
151:
35:, sometimes referred to as
10:
1552:
924:von Neumann–Bernays–Gödel
353:
264:Preining, Norbert (2010).
243:10.1016/j.apal.2007.03.001
215:"First-order Gödel logics"
1468:
1428:
1400:
1393:
1345:Necessity and sufficiency
1248:
1213:
1165:
1119:
1101:
1093:
988:
951:
863:
753:
725:One-to-one correspondence
641:
582:
473:
462:
448:
308:Dummett, Michael (1959).
266:"Gödel Logics – A Survey"
1521:Mathematical logic stubs
200:10.1023/A:1022997524909
180:von Plato, Jan (2003).
683:Constructible universe
510:Constructibility (V=L)
370:-related article is a
135:
49:infinite-valued logics
1480:Philosophy portal
906:Principia Mathematica
740:Transfinite induction
599:(i.e. set difference)
136:
51:in which the sets of
980:Burali-Forti paradox
735:Set-builder notation
688:Continuum hypothesis
628:Symmetric difference
95:
1142:Philosophy of logic
941:Tarski–Grothendieck
41:Gödel–Dummett logic
18:Gödel–Dummett logic
1531:Mathematical logic
1441:Rules of inference
1410:Mathematical logic
1152:Semantics of logic
530:Limitation of size
368:mathematical logic
158:Intermediate logic
131:
29:mathematical logic
1508:
1507:
1464:
1463:
1298:Deductive closure
1244:
1243:
1183:Critical thinking
1061:
1060:
970:Russell's paradox
919:Zermelo–Fraenkel
820:Dedekind-infinite
693:Diagonal argument
592:Cartesian product
456:Set (mathematics)
383:
382:
287:978-3-642-16241-1
16:(Redirected from
1543:
1478:
1477:
1476:
1398:
1397:
1163:
1162:
1127:Computer science
1088:
1081:
1074:
1065:
1064:
1043:Bertrand Russell
1033:John von Neumann
1018:Abraham Fraenkel
1013:Richard Dedekind
975:Suslin's problem
886:Cantor's theorem
603:De Morgan's laws
468:
435:
428:
421:
412:
411:
404:
397:
390:
362:
355:
348:
347:
305:
299:
298:
296:
294:
261:
255:
254:
236:
210:
204:
203:
177:
140:
138:
137:
132:
21:
1551:
1550:
1546:
1545:
1544:
1542:
1541:
1540:
1511:
1510:
1509:
1504:
1474:
1472:
1460:
1424:
1415:Boolean algebra
1389:
1240:
1231:Metamathematics
1209:
1161:
1115:
1097:
1092:
1062:
1057:
984:
963:
947:
912:New Foundations
859:
749:
668:Cardinal number
651:
637:
578:
469:
460:
444:
439:
409:
408:
352:
351:
328:10.2307/2964753
306:
302:
292:
290:
288:
262:
258:
211:
207:
178:
171:
166:
154:
96:
93:
92:
79:Michael Dummett
23:
22:
15:
12:
11:
5:
1549:
1539:
1538:
1536:Formal methods
1533:
1528:
1523:
1506:
1505:
1503:
1502:
1497:
1487:
1482:
1469:
1466:
1465:
1462:
1461:
1459:
1458:
1453:
1448:
1443:
1438:
1432:
1430:
1426:
1425:
1423:
1422:
1417:
1412:
1406:
1404:
1395:
1391:
1390:
1388:
1387:
1382:
1377:
1372:
1367:
1362:
1357:
1352:
1347:
1342:
1337:
1332:
1327:
1322:
1321:
1320:
1310:
1305:
1300:
1295:
1290:
1289:
1288:
1283:
1273:
1268:
1263:
1258:
1252:
1250:
1246:
1245:
1242:
1241:
1239:
1238:
1233:
1228:
1223:
1217:
1215:
1211:
1210:
1208:
1207:
1202:
1197:
1192:
1191:
1190:
1185:
1175:
1169:
1167:
1160:
1159:
1154:
1149:
1144:
1139:
1134:
1129:
1123:
1121:
1117:
1116:
1114:
1113:
1108:
1102:
1099:
1098:
1091:
1090:
1083:
1076:
1068:
1059:
1058:
1056:
1055:
1050:
1048:Thoralf Skolem
1045:
1040:
1035:
1030:
1025:
1020:
1015:
1010:
1005:
1000:
994:
992:
986:
985:
983:
982:
977:
972:
966:
964:
962:
961:
958:
952:
949:
948:
946:
945:
944:
943:
938:
933:
932:
931:
916:
915:
914:
902:
901:
900:
889:
888:
883:
878:
873:
867:
865:
861:
860:
858:
857:
852:
847:
842:
833:
828:
823:
813:
808:
807:
806:
801:
796:
786:
776:
771:
766:
760:
758:
751:
750:
748:
747:
742:
737:
732:
730:Ordinal number
727:
722:
717:
712:
711:
710:
705:
695:
690:
685:
680:
675:
665:
660:
654:
652:
650:
649:
646:
642:
639:
638:
636:
635:
630:
625:
620:
615:
610:
608:Disjoint union
605:
600:
594:
588:
586:
580:
579:
577:
576:
575:
574:
569:
558:
557:
555:Martin's axiom
552:
547:
542:
537:
532:
527:
522:
520:Extensionality
517:
512:
507:
506:
505:
500:
495:
485:
479:
477:
471:
470:
463:
461:
459:
458:
452:
450:
446:
445:
438:
437:
430:
423:
415:
407:
406:
399:
392:
384:
381:
380:
363:
350:
349:
300:
286:
256:
205:
194:(1): 153–157.
168:
167:
165:
162:
161:
160:
153:
150:
142:
141:
130:
127:
124:
121:
118:
115:
112:
109:
106:
103:
100:
60:closed subsets
9:
6:
4:
3:
2:
1548:
1537:
1534:
1532:
1529:
1527:
1524:
1522:
1519:
1518:
1516:
1501:
1498:
1495:
1491:
1488:
1486:
1483:
1481:
1471:
1470:
1467:
1457:
1456:Logic symbols
1454:
1452:
1449:
1447:
1444:
1442:
1439:
1437:
1434:
1433:
1431:
1427:
1421:
1418:
1416:
1413:
1411:
1408:
1407:
1405:
1403:
1399:
1396:
1392:
1386:
1383:
1381:
1378:
1376:
1373:
1371:
1368:
1366:
1363:
1361:
1358:
1356:
1353:
1351:
1348:
1346:
1343:
1341:
1338:
1336:
1335:Logical truth
1333:
1331:
1328:
1326:
1323:
1319:
1316:
1315:
1314:
1311:
1309:
1306:
1304:
1301:
1299:
1296:
1294:
1291:
1287:
1284:
1282:
1279:
1278:
1277:
1276:Contradiction
1274:
1272:
1269:
1267:
1264:
1262:
1259:
1257:
1254:
1253:
1251:
1247:
1237:
1234:
1232:
1229:
1227:
1224:
1222:
1221:Argumentation
1219:
1218:
1216:
1212:
1206:
1205:Philosophical
1203:
1201:
1200:Non-classical
1198:
1196:
1193:
1189:
1186:
1184:
1181:
1180:
1179:
1176:
1174:
1171:
1170:
1168:
1164:
1158:
1155:
1153:
1150:
1148:
1145:
1143:
1140:
1138:
1135:
1133:
1130:
1128:
1125:
1124:
1122:
1118:
1112:
1109:
1107:
1104:
1103:
1100:
1096:
1089:
1084:
1082:
1077:
1075:
1070:
1069:
1066:
1054:
1053:Ernst Zermelo
1051:
1049:
1046:
1044:
1041:
1039:
1038:Willard Quine
1036:
1034:
1031:
1029:
1026:
1024:
1021:
1019:
1016:
1014:
1011:
1009:
1006:
1004:
1001:
999:
996:
995:
993:
991:
990:Set theorists
987:
981:
978:
976:
973:
971:
968:
967:
965:
959:
957:
954:
953:
950:
942:
939:
937:
936:Kripke–Platek
934:
930:
927:
926:
925:
922:
921:
920:
917:
913:
910:
909:
908:
907:
903:
899:
896:
895:
894:
891:
890:
887:
884:
882:
879:
877:
874:
872:
869:
868:
866:
862:
856:
853:
851:
848:
846:
843:
841:
839:
834:
832:
829:
827:
824:
821:
817:
814:
812:
809:
805:
802:
800:
797:
795:
792:
791:
790:
787:
784:
780:
777:
775:
772:
770:
767:
765:
762:
761:
759:
756:
752:
746:
743:
741:
738:
736:
733:
731:
728:
726:
723:
721:
718:
716:
713:
709:
706:
704:
701:
700:
699:
696:
694:
691:
689:
686:
684:
681:
679:
676:
673:
669:
666:
664:
661:
659:
656:
655:
653:
647:
644:
643:
640:
634:
631:
629:
626:
624:
621:
619:
616:
614:
611:
609:
606:
604:
601:
598:
595:
593:
590:
589:
587:
585:
581:
573:
572:specification
570:
568:
565:
564:
563:
560:
559:
556:
553:
551:
548:
546:
543:
541:
538:
536:
533:
531:
528:
526:
523:
521:
518:
516:
513:
511:
508:
504:
501:
499:
496:
494:
491:
490:
489:
486:
484:
481:
480:
478:
476:
472:
467:
457:
454:
453:
451:
447:
443:
436:
431:
429:
424:
422:
417:
416:
413:
405:
400:
398:
393:
391:
386:
385:
379:
377:
373:
369:
364:
361:
357:
356:
345:
341:
337:
333:
329:
325:
322:(2): 97–106.
321:
317:
316:
311:
304:
289:
283:
279:
275:
271:
267:
260:
252:
248:
244:
240:
235:
230:
226:
222:
221:
216:
209:
201:
197:
193:
189:
188:
187:Studia Logica
183:
176:
174:
169:
159:
156:
155:
149:
147:
125:
119:
113:
107:
101:
91:
90:
89:
88:
84:
83:propositional
80:
75:
73:
69:
65:
64:unit interval
61:
57:
54:
50:
46:
42:
38:
37:Dummett logic
34:
30:
19:
1375:Substitution
1195:Mathematical
1120:Major fields
1003:Georg Cantor
998:Paul Bernays
929:Morse–Kelley
904:
837:
836:Subset
783:hereditarily
745:Venn diagram
703:ordered pair
618:Intersection
562:Axiom schema
376:expanding it
365:
319:
313:
303:
291:. Retrieved
269:
259:
234:math/0601147
227:(1): 23–47.
224:
218:
208:
191:
185:
143:
87:axiom schema
76:
67:
55:
53:truth values
40:
36:
32:
26:
1490:WikiProject
1360:Proposition
1355:Probability
1308:Description
1249:Foundations
1028:Thomas Jech
871:Alternative
850:Uncountable
804:Ultrafilter
663:Cardinality
567:replacement
515:Determinacy
33:Gödel logic
1526:Set theory
1515:Categories
1420:Set theory
1318:Linguistic
1313:Entailment
1303:Definition
1271:Consequent
1266:Antecedent
1023:Kurt Gödel
1008:Paul Cohen
845:Transitive
613:Identities
597:Complement
584:Operations
545:Regularity
483:Adjunction
442:Set theory
164:References
72:Kurt Gödel
1451:Fallacies
1446:Paradoxes
1436:Logicians
1370:Statement
1365:Reference
1330:Induction
1293:Deduction
1256:Abduction
1226:Metalogic
1173:Classical
1137:Inference
956:Paradoxes
876:Axiomatic
855:Universal
831:Singleton
826:Recursive
769:Countable
764:Amorphous
623:Power set
540:Power set
498:dependent
493:countable
336:0022-4812
251:0168-0072
123:→
114:∨
105:→
77:In 1959,
1485:Category
1385:Validity
1286:Antinomy
1214:Theories
1178:Informal
960:Problems
864:Theories
840:Superset
816:Infinite
645:Concepts
525:Infinity
449:Overview
152:See also
1500:changes
1492: (
1350:Premise
1281:Paradox
1111:History
1106:Outline
898:General
893:Zermelo
799:subbase
781: (
720:Forcing
698:Element
670: (
648:Methods
535:Pairing
344:2964753
293:2 March
62:of the
45:finite-
1402:topics
1188:Reason
1166:Logics
1157:Syntax
789:Filter
779:Finite
715:Family
658:Almost
503:global
488:Choice
475:Axioms
342:
334:
284:
249:
1429:other
1394:Lists
1380:Truth
1147:Proof
1095:Logic
881:Naive
811:Fuzzy
774:Empty
757:types
708:tuple
678:Class
672:large
633:Union
550:Union
366:This
340:JSTOR
229:arXiv
1494:talk
1340:Name
1325:Form
794:base
372:stub
332:ISSN
295:2022
282:ISBN
247:ISSN
58:are
31:, a
1236:Set
755:Set
324:doi
274:doi
239:doi
225:147
196:doi
144:to
47:or
39:or
27:In
1517::
338:.
330:.
320:24
318:.
312:.
280:.
268:.
245:.
237:.
223:.
217:.
192:73
190:.
184:.
172:^
148:.
74:.
1496:)
1087:e
1080:t
1073:v
838:·
822:)
818:(
785:)
674:)
434:e
427:t
420:v
403:e
396:t
389:v
378:.
346:.
326::
297:.
276::
253:.
241::
231::
202:.
198::
129:)
126:A
120:B
117:(
111:)
108:B
102:A
99:(
68:V
56:V
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.