Suchergebnisse
Zur Navigation springen
Zur Suche springen
- [[Kategorie:Logikkalkül]] …1 KB (138 Wörter) - 01:20, 2. Sep. 2023
- …ernays und Quine'', in: Käsbauer, M. / Kutschera, F. V. (Hrsg.): Logik und Logikkalkül. Festschrift zum 70. Geburtstag von W. Britzelmeyer. Freiburg – München 196 …1 KB (168 Wörter) - 15:16, 25. Apr. 2019
- In den [[Kalkül|Logikkalkül]]en ist die Schnittregel der [[modus ponens]] auf metalogischer Stufe und… …1 KB (177 Wörter) - 15:53, 30. Aug. 2021
- [[Kategorie:Logikkalkül]] …1 KB (178 Wörter) - 05:23, 15. Apr. 2024
- …n Schule der mathematischen Logik. 1927 entwickelte er einen algebraischen Logikkalkül, der die Logik von [[George Boole]] optimiert und später als [[Boolesche Al …es Algebra, die auch logisch sinnlose Formeln enthält, einen selbständigen Logikkalkül, in der alle Formeln eine logische Bedeutung tragen. Man findet »selbstinve …4 KB (489 Wörter) - 19:47, 3. Apr. 2023
- [[Kategorie:Logikkalkül]] …3 KB (426 Wörter) - 23:39, 16. Jan. 2017
- Dass die [[Schnittregel]] in den [[Logikkalkül|Gentzentypkalkülen]] [[Zulässige Regel|zulässig]] ist, besagt der [[Gentzen …4 KB (525 Wörter) - 10:23, 21. Jun. 2023
- …aufwendig. Das Rahmenproblem beschäftigt sich somit mit der Frage, wie ein Logikkalkül vollständig sein kann, ohne triviale Nichtänderungen explizit zu beschreibe …9 KB (1.269 Wörter) - 19:18, 21. Jan. 2021
- [[Kategorie:Logikkalkül]] …5 KB (669 Wörter) - 09:18, 5. Jul. 2023
- [[Kategorie:Logikkalkül]] …5 KB (762 Wörter) - 09:44, 11. Apr. 2022
- [[Kategorie:Logikkalkül]] …6 KB (915 Wörter) - 19:08, 26. Jan. 2025
- [[Kategorie:Logikkalkül]] …6 KB (783 Wörter) - 14:58, 13. Jun. 2022
- [[Kategorie:Logikkalkül]] …6 KB (837 Wörter) - 14:45, 10. Okt. 2024
- Takeutis Vermutung von 1953 besagt, dass im Logikkalkül endlicher Stufe die Schnittregel gilt (siehe [[Gentzenscher Hauptsatz]]).… …5 KB (646 Wörter) - 15:29, 6. Jun. 2024
- …satz zur [[Logik]]. Die Motivation ist eine im Vergleich zum Ableiten in [[Logikkalkül]]en nähere Orientierung am menschlichen Argumentieren. [[Kategorie:Logikkalkül]] …13 KB (1.859 Wörter) - 07:27, 21. Okt. 2024
- [[Kategorie:Logikkalkül]] …7 KB (1.003 Wörter) - 15:23, 17. Dez. 2024
- * [[Logikkalkül]] …8 KB (1.188 Wörter) - 05:22, 26. Jul. 2020
- [[Kategorie:Logikkalkül]] …8 KB (1.217 Wörter) - 18:21, 11. Jan. 2025
- [[Kategorie:Logikkalkül]] …9 KB (1.328 Wörter) - 14:05, 20. Jun. 2022
- Die [[Logikkalkül|Kalküle]], für die der Hauptsatz gilt, sind widerspruchsfrei. …9 KB (1.193 Wörter) - 10:46, 24. Mai 2024