All public logs

Combined display of all available logs of FasciPedia. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 18:06, 26 January 2023 Bacchus talk contribs created page Intermediate logic (Created page with "In mathematical logic, a '''superintuitionistic logic''' is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic; thus, consistent superintuitionistic logics are called '''intermediate logics''' (the logics are intermediate between intuitionistic logic and classical logic).<ref>{{cite web|title=Intermediate logic|url=https://www.encyclopediaofmath.org/index.php/Intermediate_logic|...")