Buy Me a Coffee at ko-fi.com

Intermediate logic

propositional logic extending intuitionistic logic

Pronunciation
/ˌɪntəˈmiːdɪət ˈlɒʤɪk/
/ˌɪntərˈmidiət ˈlɑʤɪk/
Categories
mathematical logic