Jump to content

Minimal logic: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 15:5715:57, 20 April 2025 2001:4bc9:1f91:5c1c:128f:37d:da61:408b talk 26,320 bytes +237 →Conjunction and disjunction: Intro to disjunction laws undo Tags: Mobile edit Mobile web edit

curprev 12:4212:42, 17 April 2025 212.186.132.66 talk 25,855 bytes +222 →Use of negation: Example proof undo Tags: Mobile edit Mobile web edit
curprev 12:3412:34, 17 April 2025 212.186.132.66 talk 25,633 bytes −4 →Use of negation: Fix extra word undo Tags: Mobile edit Mobile web edit
curprev 12:2412:24, 17 April 2025 212.186.132.66 talk 25,637 bytes +187 →Axiomatization via absurdity undo Tags: Mobile edit Mobile web edit

curprev 13:4513:45, 14 April 2025 185.185.171.17 talk 25,450 bytes +2 There was a horrendous error, by which the inference from A V B and non-A to B is not admnissible in minimal logic. Whoever wrote that should at least have a look at johansson's article. Regards, Jan von Plato undo

curprev 20:2320:23, 10 April 2025 178.115.68.107 talk 25,448 bytes +72 →Implications and negation: Strengthening of statement undo

curprev 22:2622:26, 8 April 2025 178.115.68.107 talk 25,481 bytes +38 →Disjunctions and negation undo
curprev 22:2022:20, 8 April 2025 178.115.68.107 talk 25,443 bytes +626 →Axiomatization via absurdity: Move mirabilis up undo

curprev 15:0215:02, 7 April 2025 212.186.132.66 talk 24,817 bytes +16 →Implications and negation: Phrasing undo

curprev 20:4820:48, 30 March 2025 37.228.228.184 talk 24,801 bytes −2 →Implications and negation undo
curprev 20:4720:47, 30 March 2025 37.228.228.184 talk 24,803 bytes +54 →Implications and negation: Ordering undo
curprev 18:5818:58, 30 March 2025 37.228.228.184 talk 24,749 bytes +126 →Implications and negation undo

curprev 08:5908:59, 12 March 2025 2001:4bc9:a46:cda4:1:1:3910:dc20 talk 24,076 bytes +60 →Disjunctive syllogism undo Tags: Mobile edit Mobile web edit

curprev 21:2021:20, 11 March 2025 178.165.203.10 talk 24,016 bytes 0 →Relation to paraconsistent logic: Typo undo
curprev 21:1421:14, 11 March 2025 178.165.203.10 talk 24,016 bytes +336 →Disjunctive syllogism undo
curprev 20:4420:44, 11 March 2025 178.165.203.10 talk 23,680 bytes +26 →Axiomatization via absurdity undo

curprev 22:2022:20, 7 March 2025 77.119.210.214 talk 23,654 bytes 0 →Relation to paraconsistent logic: Typo undo
curprev 22:1922:19, 7 March 2025 77.119.210.214 talk 23,654 bytes +156 →Relation to relevance logic undo
curprev 21:4521:45, 7 March 2025 77.119.210.214 talk 23,498 bytes +445 →Relation to paraconsistent logic: Paragraph on relevance logic undo

Retrieved from "https://en.wikipedia.org/wiki/Minimal_logic"