Talk:Paraconsistent logic: Revision history

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 08:0808:08, 7 February 2024 Cewbot talk contribs m 83,131 bytes +16 Maintain {{WPBS}} and vital articles: 2 WikiProject templates. Create {{WPBS}}. Keep majority rating "B" in {{WPBS}}. Remove 2 same ratings as {{WPBS}} in {{WikiProject Philosophy}}, {{Maths rating}}. Remove 1 deprecated parameter: field. undo Tag: Talk banner shell conversion

curprev 07:3807:38, 12 July 2023 PrimeBOT talk contribs m 83,115 bytes −5 Task 40: template replacement following a move undo Tag: AWB

curprev 17:0017:00, 2 February 2023 MalnadachBot talk contribs m 83,120 bytes +14 Fixed Lint errors. (Task 12) undo Tag: AWB

curprev 23:0723:07, 12 November 2021 JRSpriggs talk contribs 83,106 bytes +310 →A typo?: comment only undo
curprev 16:2216:22, 12 November 2021 Sofviic talk contribs 82,796 bytes +229 →A typo? undo

curprev 23:3123:31, 11 November 2021 JRSpriggs talk contribs 82,567 bytes +372 →A typo?: no undo
curprev 19:2519:25, 11 November 2021 Sofviic talk contribs 82,195 bytes +509 →A typo?: new section undo

curprev 11:4111:41, 11 May 2021 Josemazcorro talk contribs m 81,686 bytes −8 clarification undo
curprev 11:4011:40, 11 May 2021 Josemazcorro talk contribs m 81,694 bytes +388 clarification undo

curprev 02:4102:41, 7 January 2019 JRSpriggs talk contribs 81,306 bytes −21 Undid revision 877047174 by 141.156.170.163 (talk) please do not change another person's comment undo Tag: Undo

curprev 06:0406:04, 6 January 2019 141.156.170.163 talk 81,327 bytes +21 →Recent addition of material on direct logic undo

curprev 19:0119:01, 2 November 2018 JRSpriggs talk contribs 81,306 bytes +422 →Need a plain English example - Badly: explain more undo

curprev 17:4817:48, 1 November 2018 JRSpriggs talk contribs 80,884 bytes +303 →Need a plain English example - Badly: English example undo
curprev 16:5916:59, 1 November 2018 Ileanadu talk contribs 80,581 bytes +314 →Need a plain English example - Badly: new section undo

curprev 18:4418:44, 26 September 2018 JRSpriggs talk contribs 80,267 bytes +967 →Variations on the connectives: conjecture undo

curprev 07:4407:44, 25 September 2018 JRSpriggs talk contribs 79,300 bytes +253 →Variations on the connectives: clarify which entries in the truth table change undo
curprev 01:0201:02, 25 September 2018 JRSpriggs talk contribs 79,047 bytes +2,107 →Variations on the connectives: new section undo

curprev 17:3117:31, 20 September 2018 JRSpriggs talk contribs 76,940 bytes +1,137 →Outline of completeness proof and needed axiom schemas: two more theorems undo
curprev 04:0904:09, 20 September 2018 JRSpriggs talk contribs 75,803 bytes +1,271 →Outline of completeness proof and needed axiom schemas: new subsection: "Illustrating the use of the axiom schemas by proving selected theorems" undo

curprev 20:3720:37, 14 September 2018 JRSpriggs talk contribs 74,532 bytes +824 →Translation of classical logic into paraconsistent logic: another version of translation undo
curprev 05:3605:36, 14 September 2018 JRSpriggs talk contribs 73,708 bytes +77 →Translation of classical logic into paraconsistent logic: I mucked up the explanation of why we are using P→p_0 instead of ~P. undo
curprev 02:3402:34, 14 September 2018 JRSpriggs talk contribs 73,631 bytes +43 →Translation of classical logic into paraconsistent logic: re-emphasis that p_0 is not used in the classical formulas undo

curprev 21:4621:46, 13 September 2018 JRSpriggs talk contribs 73,588 bytes +2,387 →Translation of classical logic into paraconsistent logic: new section undo

curprev 05:3805:38, 9 September 2018 JRSpriggs talk contribs 71,201 bytes +1,540 →When and how paraconsistent logic might be used: new section undo

curprev 02:0002:00, 31 August 2018 JRSpriggs talk contribs 69,661 bytes +282 →Outline of completeness proof and needed axiom schemas: reduced and listed undo

curprev 01:2901:29, 30 August 2018 JRSpriggs talk contribs 69,379 bytes +1,081 →Outline of completeness proof and needed axiom schemas: examples of how to improve the list of axioms undo

curprev 04:2704:27, 29 August 2018 JRSpriggs talk contribs 68,298 bytes +3,483 →Outline of completeness proof and needed axiom schemas: new section undo

curprev 14:3514:35, 10 August 2018 Dodger67 talk contribs 64,815 bytes +18 →Tradeoffs: Add a "reflist talk" undo
curprev 14:3214:32, 10 August 2018 Dodger67 talk contribs 64,797 bytes +303 →Tradeoffs: Unsigned undo
curprev 14:3014:30, 10 August 2018 Dodger67 talk contribs 64,494 bytes +322 →I think there is a typo: Unsigned undo

curprev 00:5600:56, 8 July 2017 PrimeBOT talk contribs m 64,172 bytes +8 Replace magic links with templates per local RfC - BRFA undo

curprev 02:3302:33, 19 February 2017 2601:602:200:dd1d:45c:20c:eca5:624b talk 64,164 bytes +193 →I think there is a typo: new section undo

curprev 11:5111:51, 1 January 2017 VB00 talk contribs 63,971 bytes +383 →Paraconsistency is too weak for inconsistency tolerant logic: Replied to an NPOV edit request undo

curprev 08:1008:10, 10 September 2016 Ancheta Wis talk contribs 63,588 bytes +1,468 →Applications: market failure undo

curprev 20:5320:53, 24 August 2016 Prof. Carl Hewitt talk contribs 61,022 bytes +3,402 update of tradeoffs undo

curprev 08:0708:07, 10 September 2010 SmackBot talk contribs m 57,620 bytes +5 Date maintenance tags and general fixes: build 514: undo

curprev 15:4515:45, 30 April 2010 98.210.236.39 talk 57,615 bytes +846 Paraconsistency is too weak for inconsistency tolerant logic (deleted from article) undo

curprev 13:5013:50, 26 March 2010 SineBot talk contribs m 56,769 bytes +298 Signing comment by 89.100.19.185 - "→2005 comments: " undo
curprev 13:5013:50, 26 March 2010 89.100.19.185 talk 56,471 bytes +792 →2005 comments undo

curprev 04:3804:38, 18 November 2009 Pollinosisss talk contribs 55,679 bytes +3 No edit summary undo

curprev 18:0518:05, 11 November 2009 Pollinosisss talk contribs 55,676 bytes +45 No edit summary undo

curprev 23:5723:57, 15 March 2009 Faustnh talk contribs 55,631 bytes −290 No edit summary undo
curprev 23:4923:49, 15 March 2009 Faustnh talk contribs 55,921 bytes +290 →Applications undo

7 February 2024

12 July 2023

2 February 2023

12 November 2021

11 November 2021

11 May 2021

7 January 2019

6 January 2019

2 November 2018

1 November 2018

26 September 2018

25 September 2018

20 September 2018

14 September 2018

13 September 2018

9 September 2018

31 August 2018

30 August 2018

29 August 2018

10 August 2018

8 July 2017

19 February 2017

1 January 2017

10 September 2016

26 August 2016

24 August 2016

10 September 2010

30 April 2010

26 March 2010

18 November 2009

11 November 2009

15 March 2009