Monadic predicate calculus: 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 23:0323:03, 22 February 2025 Lollipoplollipoplollipop talk contribs 6,260 bytes +52 Adding short description: "Fragment of first-order logic" undo Tag: Shortdesc helper

curprev 09:0309:03, 28 September 2024 131.114.192.226 talk 6,208 bytes +1 →Variants undo

curprev 10:3210:32, 6 September 2024 2a02:1812:110c:dc00:388f:31a2:e267:fb67 talk 6,207 bytes −63 No edit summary undo

curprev 17:0317:03, 7 March 2023 2a02:810a:963f:d014:c967:df2e:ac22:c27c talk 6,270 bytes 0 →Variants: Changed link for MSO to article for Monadic Second-Order Logic instead of full Second-Order Logic undo Tag: Visual edit

curprev 10:5210:52, 15 February 2023 Feydun talk contribs 6,270 bytes −338 →Relationship with term logic: I removed a request for clarification. I disagree that the reference to predicates here requires clarification. The original request states: Presumably "predicate" and "polyadic predicate" are used here synonymously with "relation" and "polyadic relation undo Tags: Mobile edit Mobile app edit Android app edit

curprev 15:4815:48, 5 January 2023 69.143.122.185 talk 6,608 bytes +656 Request for terminological clarification and/or standardization throughout the article undo
curprev 15:4415:44, 5 January 2023 69.143.122.185 talk 5,952 bytes +461 →Variants: request for clarification of concepts+terminology and/or a citation and/or explanation of subtle point mentioned here undo
curprev 15:3915:39, 5 January 2023 69.143.122.185 talk 5,491 bytes +628 →Relationship with term logic: request for clarification / standardization of terminology used undo
curprev 15:3315:33, 5 January 2023 69.143.122.185 talk 4,863 bytes +209 →Variants: clarification of terminology / request for standardization of terminology undo

curprev 09:2009:20, 27 October 2021 Cafkafk talk contribs m 4,654 bytes +14 →Relationship with term logic: Link was to a surname list, not Gottlob Frege, the logician. undo Tag: Visual edit

curprev 19:3619:36, 24 October 2021 2601:205:4103:1f40::a022 talk 4,640 bytes −5 No edit summary undo

curprev 11:5511:55, 24 May 2021 213.119.8.88 talk 4,645 bytes 0 No edit summary undo

curprev 20:1520:15, 10 November 2019 109.131.169.46 talk 4,645 bytes +2 →Relationship with term logic undo

curprev 06:0906:09, 9 September 2019 BrownHairedGirl talk contribs m 4,643 bytes +3 replace link to deleted Portal:Logic with Portal:Philosophy undo Tag: AWB

curprev 13:4413:44, 28 May 2017 82.79.115.90 talk 4,640 bytes +4 link undo

curprev 01:3201:32, 29 March 2017 24.85.232.10 talk 4,636 bytes +1 →Relationship with term logic undo
curprev 01:3201:32, 29 March 2017 24.85.232.10 talk 4,635 bytes 0 →Expressiveness undo

curprev 22:2922:29, 14 November 2015 Klbrain talk contribs m 4,635 bytes +16 Disambiguated: unary → unary operation undo

curprev 23:4823:48, 18 October 2014 Hyacinth talk contribs 4,619 bytes +13 →Footnotes: {{Mathematical logic}} undo

curprev 09:2009:20, 29 August 2014 78.250.37.45 talk 4,606 bytes +78 →Variants undo

curprev 22:3922:39, 20 August 2014 BD2412 talk contribs m 4,528 bytes +19 →Relationship with term logic: minor fixes, mostly disambig links using AWB undo

curprev 19:2619:26, 7 February 2014 Magioladitis talk contribs 4,509 bytes −21 problem addressed undo

curprev 03:0203:02, 22 July 2013 Myasuda talk contribs m 4,530 bytes +9 →Expressiveness: avoid redirect undo

curprev 00:5100:51, 28 May 2013 187.61.249.7 talk 4,521 bytes 0 No edit summary undo

curprev 15:1415:14, 31 March 2013 CBM talk contribs 4,521 bytes −589 Heavy copyedit; see talk:first-order logic undo

curprev 18:4618:46, 30 March 2013 Patrickr talk contribs 5,110 bytes +12 typo, links added undo

curprev 09:2909:29, 16 March 2013 Addbot talk contribs m 5,098 bytes −27 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q6897882 undo

curprev 04:2804:28, 1 November 2012 Tijfo098 talk contribs 5,125 bytes +8 →Variants undo
curprev 04:1904:19, 1 November 2012 Tijfo098 talk contribs 5,117 bytes −29 synonyms belong to the lead undo
curprev 04:1804:18, 1 November 2012 Tijfo098 talk contribs 5,146 bytes +49 →Variants: Incorrect. MSO allows predicates with arity greater than one. It does not allow them to be named by (second order) variables though. undo
curprev 02:2702:27, 1 November 2012 Tijfo098 talk contribs m 5,097 bytes +1 for link bookkeeping purposed undo

curprev 20:2020:20, 26 October 2012 Nekiko talk contribs 5,096 bytes −5 The example used the category 'bird', but the notation and explanation used 'herbivore'. Standardized on 'bird'. undo

curprev 04:4604:46, 22 April 2012 Wham Bam Rock II talk contribs 5,101 bytes −7 No edit summary undo

curprev 03:0703:07, 11 December 2011 CBM talk contribs m 5,108 bytes +6 Please explain that on the talk page. undo
curprev 00:4200:42, 11 December 2011 Rich Farmbrough talk contribs m 5,102 bytes −6 Minor fixes using AWB undo

curprev 19:4819:48, 1 September 2011 74.179.241.151 talk 5,108 bytes +404 No edit summary undo

curprev 19:2719:27, 15 June 2010 Kumioko (renamed) talk contribs 4,402 bytes −3 →Footnotes: fix brackets, typos, dates, links, references, categories and formatting, replaced: {{portal → {{Portal, {{Portalpar| → {{Portal| using AWB undo

curprev 12:2312:23, 19 September 2009 Pcap talk contribs m 4,405 bytes +23 Relation (mathematics) undo

curprev 01:5501:55, 15 May 2009 The Tetrast talk contribs m 4,382 bytes +8 Section 0 Peirce link tweak undo

curprev 17:4017:40, 24 April 2009 AndrewHowse talk contribs m 4,374 bytes +23 Disambig links to dab page variable and general clean-up using AWB undo

curprev 19:1819:18, 19 January 2009 128.232.100.149 talk 4,351 bytes +1 No edit summary undo

curprev 10:0410:04, 9 September 2008 Ezrakilty talk contribs m 4,350 bytes +11 No edit summary undo

curprev 20:5720:57, 31 January 2008 Gregbard talk contribs m 4,339 bytes −3 fix undo
curprev 20:5720:57, 31 January 2008 Gregbard talk contribs m 4,342 bytes +32 predicate undo

curprev 02:4802:48, 10 January 2008 Arthur Rubin talk contribs m 4,310 bytes −14 clean up using AWB undo

22 February 2025

28 September 2024

6 September 2024

7 March 2023

15 February 2023

5 January 2023

27 October 2021

24 October 2021

24 May 2021

10 November 2019

9 September 2019

28 May 2017

29 March 2017

14 November 2015

18 October 2014

29 August 2014

20 August 2014

7 February 2014

22 July 2013

28 May 2013

31 March 2013

30 March 2013

16 March 2013

1 November 2012

26 October 2012

22 April 2012

11 December 2011

1 September 2011

1 August 2011

15 June 2010

19 September 2009

15 May 2009

24 April 2009

19 January 2009

9 September 2008

31 January 2008

10 January 2008