Minimal logic: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

26 January 2023

  • curprev 17:1717:17, 26 January 2023β€Ž Bacchus talk contribsβ€Ž 1,161 bytes +1,161β€Ž 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..."
Retrieved from "http:///index.php/Minimal_logic"