mathematical logic (1)
matemaatiline loogika
olemus
matemaatika haru, mis uurib
matemaatika aluseid ja matemaatilisi tõestusi
alamdistsipliine
(i) metoodika järgi:
- tõestuste teooria
- mudelite teooria
(ii) keeletarindite järgi:
- lausearvutus
- predikaatloogika
----- esimest järku predikaatloogika
----- teist järku loogika
- modaalloogika
----- ajaloogika
----- deontiline loogika
- arvutusloogika
----- lambda-arvutus
----- kombinatoorloogika
(iii) tõeväärtuste järgi:
- kahevalentne loogika
- mitmevalentne loogika
- tõenäosusloogika
(iv) aksiomaatika järgi:
- distributiivloogika
- modulaarloogika e kvantloogika
- konstruktiiv- e intuitsionistlik loogika
ülevaateid
https://encyclopediaofmath.org/wiki/Mathematical_logic
https://en.wikipedia.org/wiki/Mathematical_logic
https://en.wikipedia.org/wiki/List_of_mathematical_logic_topics
https://en.wikipedia.org/wiki/Category:Mathematical_logic
https://web.stanford.edu/class/archive/cs/cs103/cs103.1132/lectures/09/Small09.pdf
https://faculty.math.illinois.edu/~vddries/main.pdf
https://www2.karlin.mff.cuni.cz/~krajicek/mendelson.pdf
vt ka
- loogika