First-order logic: Revision history

25 May 2022

• curprev 07:1907:19, 25 May 2022‎ Primergrey talk contribs‎ m 91,678 bytes −4‎ →‎First-order structures undo
• curprev 07:1907:19, 25 May 2022‎ Primergrey talk contribs‎ m 91,682 bytes −6‎ →‎Example: ordered abelian groups undo
• curprev 07:1907:19, 25 May 2022‎ Primergrey talk contribs‎ m 91,688 bytes −6‎ →‎Free and bound variables undo
• curprev 07:1807:18, 25 May 2022‎ Primergrey talk contribs‎ 91,694 bytes −36‎ ce undo
• curprev 07:1407:14, 25 May 2022‎ Primergrey talk contribs‎ 91,730 bytes −50‎ ce undo

30 April 2022

• curprev 15:3215:32, 30 April 2022‎ 2601:646:8700:128e:a589:b41c:a3fb:fef1 talk‎ 91,780 bytes +3‎ →‎Deductive systems undo

15 February 2022

• curprev 18:4718:47, 15 February 2022‎ Felix QW talk contribs‎ 91,777 bytes +21‎ →‎Fixpoint logic undo Tag: 2017 wikitext editor

31 January 2022

• curprev 18:5518:55, 31 January 2022‎ GhostInTheMachine talk contribs‎ m 91,756 bytes 0‎ →‎Formalizing natural languages: typos undo
• curprev 12:4712:47, 31 January 2022‎ Jochen Burghardt talk contribs‎ 91,756 bytes −21‎ →‎Formalizing natural languages: many features can't be expressed in FOL; sorted and unsorted FOL have the same expressivity undo
• curprev 09:2809:28, 31 January 2022‎ Pcarbonn talk contribs‎ 91,777 bytes +106‎ →‎Formalizing natural languages: FO(.) undo

12 January 2022

• curprev 00:0600:06, 12 January 2022‎ Joel Brennan talk contribs‎ m 91,671 bytes +16‎ →‎Equality and its axioms undo

11 January 2022

• curprev 23:3923:39, 11 January 2022‎ Joel Brennan talk contribs‎ m 91,655 bytes −4‎ →‎Formulas undo

13 December 2021

• curprev 20:4620:46, 13 December 2021‎ Jochen Burghardt talk contribs‎ m 91,659 bytes −8‎ Reverted 2 edits by 90.166.193.185 (talk) to last revision by GhostInTheMachine undo Tags: Twinkle Undo
• curprev 19:0519:05, 13 December 2021‎ 90.166.193.185 talk‎ 91,667 bytes 0‎ →‎Formation rules undo Tags: Reverted Mobile edit Mobile web edit
• curprev 19:0419:04, 13 December 2021‎ 90.166.193.185 talk‎ 91,667 bytes +8‎ →‎Formation rules undo Tags: Reverted Mobile edit Mobile web edit

14 November 2021

• curprev 15:1815:18, 14 November 2021‎ GhostInTheMachine talk contribs‎ 91,659 bytes −72‎ shorten Short description per WP:SDSHORT -- expert to translate please? undo

13 November 2021

• curprev 15:5415:54, 13 November 2021‎ Vkuncak talk contribs‎ 91,731 bytes +16‎ No edit summary undo Tags: Mobile edit Mobile app edit Android app edit

31 October 2021

• curprev 11:1711:17, 31 October 2021‎ Citation bot talk contribs‎ 91,715 bytes +31‎ Add: doi. Upgrade ISBN10 to ISBN13. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_toolbar undo

27 October 2021

• curprev 21:0721:07, 27 October 2021‎ MrOllie talk contribs‎ 91,684 bytes −285‎ See Wikipedia_talk:WikiProject_Spam#Mass_spam_of_mathvault.ca undo

8 September 2021

• curprev 15:5715:57, 8 September 2021‎ 170.199.25.39 talk‎ 91,969 bytes −10‎ link syntax undo
• curprev 15:3315:33, 8 September 2021‎ 170.199.25.39 talk‎ 91,979 bytes +8‎ link syntax undo

25 August 2021

• curprev 13:0413:04, 25 August 2021‎ Jochen Burghardt talk contribs‎ 91,971 bytes −19‎ Undid revision 1040565034 by Lewis Goudy (talk): often, "theory" is used just for the set of axioms, not its deductive closure undo Tag: Undo
• curprev 09:3309:33, 25 August 2021‎ Lewis Goudy talk contribs‎ 91,990 bytes +19‎ Perhaps a non-minor edit, but I think an indicated correction. undo Tag: Reverted

30 July 2021

• curprev 14:2514:25, 30 July 2021‎ Jochen Burghardt talk contribs‎ 91,971 bytes +10‎ Undid revision 1036166362 by 46.117.142.81 (talk): I don't know any author who forbids nested quantification on the same variable; this would moreover render the language of all wff non-context-free undo Tag: Undo

29 July 2021

• curprev 22:1722:17, 29 July 2021‎ 46.117.142.81 talk‎ 91,961 bytes −10‎ →‎Provable identities: Deleted the free attribute to the last two identities. It is not only that the variables should not be free but they should not appear at all. If they would appear bound with a quantifier we will not have a wff. undo Tags: Reverted Visual edit

14 July 2021

• curprev 20:1120:11, 14 July 2021‎ Vkuncak talk contribs‎ m 91,971 bytes +206‎ →‎References: added useful graduate reference undo

25 June 2021

• curprev 11:5611:56, 25 June 2021‎ Jochen Burghardt talk contribs‎ 91,765 bytes −54‎ →‎top: I don't see why just 'or both' could be ambiguous undo
• curprev 08:3008:30, 25 June 2021‎ Catsmoke talk contribs‎ 91,819 bytes +5‎ added word to clarify that parenthetical clause was dependent upon the second of the previous two phrases, and was itself not a third phrase in parallel with the preceding twain undo Tag: 2017 wikitext editor
• curprev 08:2608:26, 25 June 2021‎ Catsmoke talk contribs‎ m 91,814 bytes +42‎ rewrote phrase; original was ambiguous in that it could be interpreted as meaning that there are extant only two function quantifiers, or only two predicate quantifiers undo Tag: 2017 wikitext editor

24 June 2021

• curprev 04:5004:50, 24 June 2021‎ Jaredscribe talk contribs‎ 91,772 bytes +46‎ →‎See also: Aristotelian logic, Prior analytics undo Tag: Visual edit

23 June 2021

• curprev 13:4113:41, 23 June 2021‎ Vkuncak talk contribs‎ m 91,726 bytes +30‎ →‎Resolution: Link to article on resolution undo

21 May 2021

• curprev 02:0402:04, 21 May 2021‎ Cedar101 talk contribs‎ m 91,696 bytes +43‎ →‎Free and bound variables: ; : undo

15 May 2021

• curprev 20:4820:48, 15 May 2021‎ GKFX talk contribs‎ 91,653 bytes −13‎ Use class floatright undo

12 May 2021

• curprev 07:4907:49, 12 May 2021‎ Cedar101 talk contribs‎ m 91,666 bytes +20‎ →‎Additional quantifiers: {{math}} undo
• curprev 07:4807:48, 12 May 2021‎ Cedar101 talk contribs‎ m 91,646 bytes +173‎ →‎Formalizing natural languages: cell templates undo
• curprev 05:4805:48, 12 May 2021‎ Cedar101 talk contribs‎ m 91,473 bytes +221‎ →‎Logical symbols: <math>\|</math> undo
• curprev 05:4005:40, 12 May 2021‎ Cedar101 talk contribs‎ m 91,252 bytes +84‎ →‎Free and bound variables: {{math}} undo
• curprev 05:3705:37, 12 May 2021‎ Cedar101 talk contribs‎ m 91,168 bytes +10‎ →‎Semantics: fix math italics undo
• curprev 05:3505:35, 12 May 2021‎ Cedar101 talk contribs‎ m 91,158 bytes +9‎ →‎Defining equality within a theory: {{math}} undo
• curprev 05:3305:33, 12 May 2021‎ Cedar101 talk contribs‎ m 91,149 bytes +13‎ →‎First-order structures: fix math italics undo
• curprev 05:3005:30, 12 May 2021‎ Cedar101 talk contribs‎ m 91,136 bytes +59‎ →‎Formulas: \varphi, \psi, <code> undo

11 May 2021

• curprev 20:5320:53, 11 May 2021‎ Jochen Burghardt talk contribs‎ 91,077 bytes −24‎ →‎See also: linked above undo

8 May 2021

• curprev 04:2204:22, 8 May 2021‎ LilyKitty talk contribs‎ 91,101 bytes +28‎ about n-tuples and logical signature undo

16 April 2021

• curprev 16:3016:30, 16 April 2021‎ Гармонический Мир talk contribs‎ 91,073 bytes +34‎ →‎See also undo

29 March 2021

• curprev 10:1810:18, 29 March 2021‎ Salvador.lucas talk contribs‎ 91,039 bytes 0‎ →‎Validity, satisfiability, and logical consequence undo
• curprev 10:1610:16, 29 March 2021‎ Salvador.lucas talk contribs‎ 91,039 bytes +176‎ →‎Validity, satisfiability, and logical consequence undo

13 March 2021

• curprev 00:4200:42, 13 March 2021‎ David Eppstein talk contribs‎ 90,863 bytes −235‎ →‎References: Remove Wolfram sockpuppet refspam, not used in footnotes undo

2 March 2021

• curprev 20:1220:12, 2 March 2021‎ Eric0928 talk contribs‎ m 91,098 bytes +10‎ →‎Formation rules undo Tag: 2017 wikitext editor

16 February 2021

• curprev 20:5820:58, 16 February 2021‎ RunningToMars talk contribs‎ 91,088 bytes +235‎ Added notes on predicate logic to references undo

12 February 2021

• curprev 22:5422:54, 12 February 2021‎ SirMeowMeow talk contribs‎ m 90,853 bytes −23‎ Undoing edits by Hellacioussatyr (talk) because the user is everywhere, making tiny edits and converting Latex into other templates. undo Tags: Manual revert Visual edit