Jump to content

Substructural 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 00:1000:10, 3 December 2024 128.23.255.12 talk 4,445 bytes +27 No edit summary undo Tag: Visual edit

curprev 14:4914:49, 1 March 2024 Omnipaedista talk contribs 4,418 bytes −13 rm empty section undo

curprev 14:3114:31, 17 March 2023 Citation bot talk contribs 4,431 bytes −80 Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 02:3302:33, 22 February 2022 Imperialfists talk contribs 4,511 bytes +20 →History undo Tags: Mobile edit Mobile web edit

curprev 09:4109:41, 21 March 2021 Apokrif talk contribs 4,491 bytes +13 Added section title. undo
curprev 09:3909:39, 21 March 2021 Apokrif talk contribs m 4,478 bytes +24 Wkf. undo

curprev 08:3308:33, 29 January 2019 Jarble talk contribs 4,454 bytes +178 adding links to references using Google Scholar undo

curprev 23:4123:41, 12 October 2018 98.118.43.182 talk 4,276 bytes +77 →References undo

curprev 01:3401:34, 23 June 2018 Allforrous talk contribs 4,199 bytes +21 →External links: Commonscat-inline template. undo

curprev 09:1909:19, 27 March 2018 Arjayay talk contribs m 4,178 bytes −40 Reverted edits by 2001:4530:3:309:FFFF:FFFF:FFFF:FF8B (talk) to last version by 173.14.162.93 undo Tags: Rollback Undo
curprev 09:1809:18, 27 March 2018 2001:4530:3:309:ffff:ffff:ffff:ff8b talk 4,218 bytes +40 No edit summary undo

curprev 18:2318:23, 29 January 2018 173.14.162.93 talk 4,178 bytes +16 fixed typo undo Tag: Visual edit

curprev 04:1004:10, 29 December 2017 73.168.5.183 talk 4,162 bytes +1 moving needs footnotes template to a more visible location undo

curprev 01:1101:11, 20 June 2017 CBM talk contribs m 4,161 bytes +4 Manually reviewed edit to replace magic words per local rfc undo

curprev 22:4322:43, 7 February 2017 24.85.232.10 talk 4,157 bytes 0 →Premise composition undo
curprev 22:3922:39, 7 February 2017 24.85.232.10 talk 4,157 bytes 0 No edit summary undo

curprev 02:5902:59, 30 August 2016 Paradoctor talk contribs m 4,157 bytes +4 wikilink for structural rule undo

curprev 11:0711:07, 5 June 2016 PBS-AWB talk contribs 4,153 bytes +81 modification to template Cite SEP and possibly some gen fixes using AWB undo

curprev 18:3618:36, 4 May 2015 178.38.119.178 talk 4,072 bytes +4 No edit summary undo
curprev 18:3318:33, 4 May 2015 178.38.119.178 talk 4,068 bytes +28 No edit summary undo

curprev 10:2910:29, 18 October 2014 Hyacinth talk contribs 4,040 bytes +14 →External links: {{Non-classical logic}} undo

curprev 13:5613:56, 2 June 2014 Markhurd talk contribs m 4,026 bytes −8 clean up, replaced: ” → " (2), “ → " (2) using AWB undo

curprev 03:2503:25, 1 March 2014 Pavel Senatorov talk contribs m 4,034 bytes +20 No edit summary undo

curprev 18:4418:44, 12 December 2013 ChrisGualtieri talk contribs m 4,014 bytes −25 Remove stub tag(s). Page is start class or higher + General Fixes + Checkwiki fixes using AWB undo

curprev 22:5922:59, 29 November 2013 129.67.41.82 talk 4,039 bytes +10 No edit summary undo

curprev 03:2503:25, 25 April 2013 KLBot2 talk contribs m 4,029 bytes −37 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:Q839490 undo

curprev 14:0214:02, 24 February 2013 Addbot talk contribs m 4,066 bytes −49 Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q839490 (Report Errors) undo

curprev 15:0715:07, 28 November 2012 Tijfo098 talk contribs 4,115 bytes +3 →History undo
curprev 14:5814:58, 28 November 2012 Tijfo098 talk contribs 4,112 bytes +275 No edit summary undo
curprev 14:4214:42, 28 November 2012 Tijfo098 talk contribs m 3,837 bytes 0 →Furhter reading undo
curprev 14:4114:41, 28 November 2012 Tijfo098 talk contribs 3,837 bytes +231 No edit summary undo

curprev 18:0218:02, 15 November 2012 Giftlite talk contribs m 3,606 bytes −2 mv refs down undo
curprev 16:4916:49, 15 November 2012 77.207.76.96 talk 3,608 bytes +36 No edit summary undo

curprev 11:4511:45, 3 November 2012 BiT talk contribs 3,572 bytes +47 →References undo

curprev 22:4122:41, 9 August 2012 CBM talk contribs 3,525 bytes +83 Add reference undo

curprev 08:0608:06, 5 March 2012 Download talk contribs 3,442 bytes −13 gen fixes using AWB undo

curprev 20:0820:08, 26 November 2010 Gregbard talk contribs m 3,455 bytes +11 →External links: Template:Logic using AWB undo

curprev 13:3113:31, 28 October 2010 Ontoraul talk contribs 3,444 bytes −74 →External links: standadized the reference to Stanford Encylopedia of Philosophy undo

curprev 05:3005:30, 1 October 2010 70.36.134.199 talk 3,518 bytes +16 →Premise composition undo

curprev 08:2908:29, 16 May 2010 Noamz talk contribs 3,502 bytes −47 cut is distinct from weakening, and is a different sort of structural rule than those debated by substructural logic undo

curprev 21:5821:58, 15 May 2010 Nortexoid talk contribs 3,549 bytes +586 needs more cleaning undo

curprev 20:5420:54, 20 April 2009 Hans Adler talk contribs 2,963 bytes +4 →External links: mathlogic undo

curprev 23:2923:29, 27 March 2009 Gregbard talk contribs 2,959 bytes +33 non-classical undo

curprev 10:3610:36, 18 November 2008 Waldyrious talk contribs 2,926 bytes +23 linked Turnstile (symbol) undo

curprev 05:3205:32, 29 May 2008 218.227.145.80 talk 2,903 bytes +26 →External links: +ja undo

curprev 23:0623:06, 21 March 2008 Edward talk contribs m 2,877 bytes +4 link structural rule undo

curprev 03:2903:29, 11 July 2007 Gregbard talk contribs m 2,873 bytes +16 No edit summary undo

curprev 16:0916:09, 27 October 2006 User24 talk contribs 2,857 bytes +42 RHS/LHS dab undo

curprev 08:4808:48, 9 May 2006 Julian Mendez talk contribs m 2,815 bytes +20 No edit summary undo

curprev 04:5004:50, 29 January 2006 Mikeblas talk contribs m 2,795 bytes +26 disambiguation link repair (You can help!) undo

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