Thuluviel közreműködései

2013. január 12.

• 09:182013. január 12., 09:18 eltér történet +419‎ Vita:Peano-aritmetika ‎ →‎Jelölések aktuális

2010. szeptember 26.

• 21:102010. szeptember 26., 21:10 eltér történet +383‎ Ú Vita:Ekvivalenciareláció ‎ reláció mint halmazelméleti cucc

2010. július 11.

• 20:462010. július 11., 20:46 eltér történet +9 084‎ Logikai kalkulus ‎ →‎Gentzen típusú szekvenskalkulus: dualitás, intuicionizmus, 4 példa
• 17:362010. július 11., 17:36 eltér történet +703‎ Logikai kalkulus ‎ →‎Természetes levezetés: példa
• 15:252010. július 11., 15:25 eltér történet +363‎ Ú Vita:Logikai kalkulus ‎ boole aktuális

2010. július 10.

• 10:082010. július 10., 10:08 eltér történet +101‎ a Logikai kalkulus ‎ →‎Gentzen típusú szekvenskalkulus: szebb táblázat
• 09:572010. július 10., 09:57 eltér történet +2‎ a Logikai kalkulus ‎ →‎Az intuicionista logika kalkulusai
• 09:562010. július 10., 09:56 eltér történet +160‎ a Logikai kalkulus ‎ →‎Az intuicionista logika kalkulusai
• 09:532010. július 10., 09:53 eltér történet +782‎ a Logikai kalkulus ‎ →‎Az intuicionista logika kalkulusai: helykitöltésként még egy példa
• 09:212010. július 10., 09:21 eltér történet +303‎ a Logikai kalkulus ‎ →‎Az intuicionista logika kalkulusai
• 08:582010. július 10., 08:58 eltér történet +2 353‎ Logikai kalkulus ‎ →‎Frege-Hilbert típusú kalkulus: két példa

2010. július 9.

• 21:102010. július 9., 21:10 eltér történet +1‎ a Logikai kalkulus ‎ →‎Az intuicionista logika kalkulusai
• 21:082010. július 9., 21:08 eltér történet +1 983‎ Logikai kalkulus ‎ →‎Gentzen típusú szekvenskalkulus
• 19:442010. július 9., 19:44 eltér történet +2 892‎ Logikai kalkulus ‎ →‎Gentzen típusú szekvenskalkulus: félkész táblázat, mindjárt befejezem Címke: HTML-sortörés
• 17:542010. július 9., 17:54 eltér történet −22‎ a Logikai kalkulus ‎ →‎Klasszikus logika kalkulusai
• 17:542010. július 9., 17:54 eltér történet −22‎ a Logikai kalkulus ‎ →‎Az intuicionista logika kalkulusai
• 17:482010. július 9., 17:48 eltér történet −46‎ Logikai kalkulus ‎ már nem csonk az egész
• 17:472010. július 9., 17:47 eltér történet 0‎ a Logikai kalkulus ‎Nincs szerkesztési összefoglaló
• 17:462010. július 9., 17:46 eltér történet +1‎ a Logikai kalkulus ‎ →‎Jegyzetek
• 17:462010. július 9., 17:46 eltér történet +10‎ Logikai kalkulus ‎Nincs szerkesztési összefoglaló
• 17:432010. július 9., 17:43 eltér történet −1 166‎ Logikai kalkulus ‎ →‎Az intuicionista logika kalkulusai: jobb táblázat
• 17:362010. július 9., 17:36 eltér történet +1‎ a Logikai kalkulus ‎ →‎Klasszikus logika kalkulusai
• 17:352010. július 9., 17:35 eltér történet −749‎ Logikai kalkulus ‎ →‎Klasszikus logika kalkulusai: jobbratéve a táblázat
• 17:122010. július 9., 17:12 eltér történet +5 464‎ Logikai kalkulus ‎ →‎Természetes levezetés: megírva, még kell példa Címke: HTML-sortörés
• 16:162010. július 9., 16:16 eltér történet +814‎ Vita:Modális logika ‎ →‎Modalitás a nyelvben: én ezt nem olvasom el
• 14:152010. július 9., 14:15 eltér történet +1‎ a Logikai kalkulus ‎ →‎Helyesség, teljesség, adekvátság
• 14:052010. július 9., 14:05 eltér történet +226‎ Wikipédia:Kocsmafal (kezdőknek) ‎ →‎Cikk mint forrás
• 12:552010. július 9., 12:55 eltér történet +15 131‎ Logikai kalkulus ‎ források és Frege-Hilbert kalkulus Címke: HTML-sortörés
• 12:512010. július 9., 12:51 eltér történet +54‎ a Modális logika ‎ →‎Irodalom: szerkesztők
• 12:492010. július 9., 12:49 eltér történet +27‎ a Modális logika ‎ →‎Irodalom: elírás
• 10:222010. július 9., 10:22 eltér történet +128‎ Wikipédia:Kocsmafal (kezdőknek) ‎ →‎Cikk mint forrás
• 09:252010. július 9., 09:25 eltér történet +311‎ Wikipédia:Kocsmafal (kezdőknek) ‎ cite article?

2010. július 5.

• 22:292010. július 5., 22:29 eltér történet +24‎ a Logikai kalkulus ‎ angol interwiki
• 22:252010. július 5., 22:25 eltér történet +280‎ Logikai kalkulus ‎ interwiki
• 22:142010. július 5., 22:14 eltér történet +2 353‎ Ú Logikai kalkulus ‎ Létrehozva
• 20:282010. július 5., 20:28 eltér történet +416‎ Vita:Fogalomírás ‎ →‎Frege-axiómarsz. függetlensége stb.: 3. axióma
• 20:212010. július 5., 20:21 eltér történet 0‎ Fogalomírás ‎ →‎A Hilbert-kalkulus: 3. axióma hibás volt

2010. július 3.

• 15:022010. július 3., 15:02 eltér történet −2‎ a Wikipédia:Matematikai műhely/Tagjaink ‎Nincs szerkesztési összefoglaló

2010. május 3.

• 13:532010. május 3., 13:53 eltér történet +44‎ Modális logika ‎ →‎S5: opcit
• 13:452010. május 3., 13:45 eltér történet −1‎ a Modális logika ‎ →‎B
• 13:442010. május 3., 13:44 eltér történet +99‎ Modális logika ‎ →‎B: opcit
• 13:402010. május 3., 13:40 eltér történet −306‎ Modális logika ‎ →‎S4: opcit
• 13:232010. május 3., 13:23 eltér történet +2‎ a Modális logika ‎ →‎Irodalom
• 13:222010. május 3., 13:22 eltér történet +9‎ a Modális logika ‎ →‎Irodalom
• 13:212010. május 3., 13:21 eltér történet +225‎ Modális logika ‎ →‎Irodalom: gödel
• 13:212010. május 3., 13:21 eltér történet +187‎ Modális logika ‎ →‎S4: opcit
• 13:122010. május 3., 13:12 eltér történet +11‎ a Modális logika ‎ →‎K4
• 13:112010. május 3., 13:11 eltér történet +634‎ Modális logika ‎ →‎K4: porolgatás, HBL-kritériumok
• 12:512010. május 3., 12:51 eltér történet −125‎ Modális logika ‎ →‎T: porolgatok
• 12:472010. május 3., 12:47 eltér történet +105‎ Modális logika ‎ →‎Normális modális rendszer (K): porolgatok