intermediate logic

propositional logic extending intuitionistic logic

en-GB/ˌɪntəˈmiːdɪət ˈlɒd͡ʒɪk/
en-US/ˌɪnɚˈmidiɪt ˈlɑd͡ʒɪk/

دسته بندی ها:

mathematical logic