Deductive system: 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 20:5920:59, 16 October 2014‎ Mario Castelán Castro talk contribs‎ m 61 bytes +17‎ Add “{{R from merge}}” undo
curprev 20:4620:46, 16 October 2014‎ Mario Castelán Castro talk contribs‎ 44 bytes −1,457‎ Merging to “Formal system”. undo

curprev 22:5222:52, 27 March 2013‎ Andrewaskew talk contribs‎ m 1,501 bytes +7‎ Fixed order of categorisation. Alphabetised categories. Alphabetised see also. undo

curprev 08:5408:54, 1 March 2013‎ Addbot talk contribs‎ m 1,494 bytes −126‎ Bot: Migrating 4 interwiki links, now provided by Wikidata on d:q3322159 undo

curprev 19:2019:20, 4 December 2012‎ Koavf talk contribs‎ 1,620 bytes +10‎ →‎References: replace per old CfD using AWB undo

curprev 01:2601:26, 26 August 2011‎ Bomazi talk contribs‎ 1,610 bytes +24‎ Disambiguated: justification → Theory of justification using Dab solver undo

curprev 20:0620:06, 23 December 2010‎ Luckas-bot talk contribs‎ m 1,586 bytes +25‎ r2.5.2) (robot Adding: es:Sistema deductivo undo

curprev 01:0201:02, 7 September 2010‎ BD2412 talk contribs‎ m 1,561 bytes +10‎ Fixing links to disambiguation pages, improving links, other minor cleanup tasks using AWB undo

curprev 23:3323:33, 19 September 2009‎ Gregbard talk contribs‎ m 1,551 bytes +28‎ Quick-adding category Formal systems (using HotCat) undo

curprev 12:3612:36, 18 September 2009‎ Pcap talk contribs‎ 1,523 bytes −30‎ This is not a topic in formal languages. Undid revision 314667869 by Gregbard (talk) undo
curprev 05:3705:37, 18 September 2009‎ Pcap talk contribs‎ 1,553 bytes +21‎ Proof calculus undo
curprev 05:3605:36, 18 September 2009‎ Gregbard talk contribs‎ m 1,532 bytes +30‎ Quick-adding category Formal languages (using HotCat) undo
curprev 05:3505:35, 18 September 2009‎ Pcap talk contribs‎ m 1,502 bytes −30‎ Removed category Formal languages (using HotCat) undo

curprev 22:4222:42, 2 August 2009‎ TXiKiBoT talk contribs‎ m 1,532 bytes +25‎ robot Adding: nl:Deductief systeem undo

curprev 20:4420:44, 25 May 2009‎ Gregbard talk contribs‎ m 1,507 bytes +12‎ more specific cat:syntactic entities undo

curprev 17:1817:18, 5 May 2009‎ GrouchoBot talk contribs‎ m 1,495 bytes +51‎ robot Adding: el:Συμπερασματικό σύστημα undo

curprev 22:2422:24, 4 April 2009‎ Gregbard talk contribs‎ 1,444 bytes +23‎ deduction undo

curprev 16:3116:31, 28 June 2008‎ 200.17.143.33 talk‎ 1,421 bytes +25‎ No edit summary undo

curprev 23:0423:04, 15 May 2008‎ Gregbard talk contribs‎ 1,396 bytes +9‎ wikilink derive undo

curprev 23:4623:46, 29 March 2008‎ Gregbard talk contribs‎ 1,387 bytes +47‎ →‎See also: deductive systems undo

curprev 10:1510:15, 3 March 2008‎ Gregbard talk contribs‎ m 1,340 bytes +27‎ wikilink interp undo

curprev 03:1803:18, 2 March 2008‎ Gregbard talk contribs‎ 1,313 bytes +11‎ logic undo

curprev 07:2607:26, 9 February 2008‎ Lambiam talk contribs‎ 1,302 bytes −84‎ Undid revision 190076756 by Physis: tes article is about deductive apparatuses for FOL assuming Hilbert-style deduction, not about deduction systems undo
curprev 00:3200:32, 9 February 2008‎ Physis talk contribs‎ 1,386 bytes +84‎ →‎See also: three deduction systems undo

curprev 20:3320:33, 7 February 2008‎ Gregbard talk contribs‎ m 1,302 bytes 0‎ moved Deductive apparatus to Deductive system: This is the more commonly used term. This is the most wikilinked term for this concept. In all cases where it is wikilinked it is appropriate. undo
curprev 20:0020:00, 7 February 2008‎ Gregbard talk contribs‎ m 1,302 bytes +37‎ deductive system undo

curprev 06:3006:30, 25 January 2008‎ Gregbard talk contribs‎ m 1,265 bytes −64‎ not what I meant... undo
curprev 06:2806:28, 25 January 2008‎ Gregbard talk contribs‎ 1,329 bytes +101‎ appears to be the same thing/merge proposal undo

curprev 00:2700:27, 23 January 2008‎ Lambiam talk contribs‎ m 1,228 bytes +4‎ wikilink undo

curprev 08:5708:57, 18 January 2008‎ Lambiam talk contribs‎ 1,224 bytes −348‎ trying to make this understandable undo

16 October 2014

27 March 2013

1 March 2013

4 December 2012

26 August 2011

23 December 2010

7 September 2010

19 September 2009

18 September 2009

2 August 2009

25 May 2009

5 May 2009

4 April 2009

28 June 2008

15 May 2008

29 March 2008

3 March 2008

2 March 2008

9 February 2008

7 February 2008

25 January 2008

23 January 2008

18 January 2008

17 January 2008