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).

• 17:17, 26 January 2023 Bacchus talk contribs created page Minimal logic (Created page with "'''Minimal logic''', or '''minimal calculus''', is the symbolic logic system originally developed by Ingebrigt Johansson. If we interpret Classical logic as a system of Natural deduction removing the rule of Double negative elimination results in Minimal logic. Then if we interpret Minimal logic as an Axiomatic system we can conservatively extend it with different Axioms resulting in a variety of Intermediate logics lying between Minimal logic and Classical...")