Jump to content

Truth-value semantics: 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 12:0812:08, 11 July 2024 Oneequalsequalsone talk contribs 4,532 bytes +56 Adding local short description: "Alternative to Tarskian semantics", overriding Wikidata description "alternative to Tarskian semantics primarily championed by Ruth Barcan Marcus" undo Tag: Shortdesc helper

curprev 15:3415:34, 5 January 2024 82.25.27.218 talk 4,476 bytes +70 No edit summary undo

curprev 00:4000:40, 12 June 2023 Warudo talk contribs m 4,406 bytes +27 →top undo Tag: 2017 wikitext editor

curprev 22:0522:05, 11 June 2023 Warudo talk contribs 4,379 bytes +181 Use math tags consistently undo Tag: 2017 wikitext editor

curprev 16:0716:07, 16 April 2023 Citation bot talk contribs 4,198 bytes +1 Alter: issn. | Use this bot. Report bugs. | Suggested by Spinixster | Category:Semantics | #UCB_Category 187/339 undo

curprev 14:2114:21, 10 October 2022 2a02:1812:110c:dc00:e5ea:dbc1:5236:5377 talk 4,197 bytes +269 No edit summary undo

curprev 19:0919:09, 15 January 2022 Mgkrupa talk contribs 3,928 bytes +134 No edit summary undo

curprev 06:5706:57, 18 February 2019 Citation bot talk contribs m 3,794 bytes +42 Alter: issue. Add: citeseerx, jstor. Formatted dashes. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 03:3103:31, 11 November 2017 Me, Myself, and I are Here talk contribs m 3,752 bytes 0 →See also: alpha undo
curprev 03:3103:31, 11 November 2017 Me, Myself, and I are Here talk contribs 3,752 bytes −32 →See also: rm redlink undo

curprev 15:5115:51, 17 October 2017 112.134.155.23 talk 3,784 bytes −1 No edit summary undo
curprev 15:5015:50, 17 October 2017 112.134.155.23 talk 3,785 bytes +1 No edit summary undo

curprev 11:2111:21, 21 September 2017 192.38.33.11 talk 3,784 bytes −4 No edit summary undo
curprev 11:2111:21, 21 September 2017 192.38.33.11 talk 3,788 bytes +4 No edit summary undo

curprev 11:4811:48, 23 April 2017 Rrburke talk contribs m 3,784 bytes −16 Reverted edits by 5.43.208.186 (talk) (HG) (3.1.22) undo Tag: Huggle
curprev 11:4611:46, 23 April 2017 5.43.208.186 talk 3,800 bytes +16 Fixed a typo undo Tags: Mobile edit Mobile web edit

curprev 23:4323:43, 18 April 2017 Tim Smith talk contribs 3,784 bytes +483 added references undo

curprev 16:2516:25, 14 April 2015 83.218.162.174 talk 3,301 bytes +43 No edit summary undo
curprev 13:4913:49, 14 April 2015 83.218.162.174 talk 3,258 bytes +1 No edit summary undo
curprev 13:4613:46, 14 April 2015 83.218.162.174 talk 3,257 bytes +7 No edit summary undo

curprev 22:0622:06, 20 August 2014 BD2412 talk contribs m 3,250 bytes +19 minor fixes, mostly disambig links using AWB undo

curprev 03:5003:50, 16 August 2014 189.62.89.175 talk 3,231 bytes +22 →See also undo

curprev 03:0603:06, 5 August 2013 Addbot talk contribs m 3,209 bytes −21 Bot: Migrating interwiki links, now provided by Wikidata on d:q14477759 undo

curprev 20:1320:13, 25 June 2011 Malcolma talk contribs m 3,230 bytes −9 cat undo

curprev 21:1021:10, 23 June 2011 Nick Number talk contribs m 3,239 bytes +25 repaired link(s) to disambiguation page - (you can help) - Formal semantics undo

curprev 02:1102:11, 27 May 2011 Bearcat talk contribs 3,214 bytes +35 →See also: categorization/tagging using AWB undo

curprev 13:0613:06, 21 May 2011 Cydebot talk contribs m 3,179 bytes −30 Robot - Removing category Formal semantics per CFD at Wikipedia:Categories for discussion/Log/2011 April 28. undo

curprev 15:4315:43, 5 October 2010 BrideOfKripkenstein talk contribs 3,209 bytes +20 fix link undo

curprev 03:0903:09, 4 June 2010 Gregbard talk contribs m 3,189 bytes −19 Removed Category:Logic (using HotCat) undo
curprev 03:0903:09, 4 June 2010 Gregbard talk contribs m 3,208 bytes +7 Removed Category:Semantics; Adding category Category:Formal semantics (using HotCat) undo

curprev 04:5404:54, 17 December 2009 SmackBot talk contribs m 3,201 bytes +4 remove Erik9bot category,outdated, tag and general fixes undo

curprev 11:5911:59, 10 December 2009 CBM talk contribs 3,197 bytes −4 Undid revision 330797618 by Gregbard (talk); this is not propositional substitution undo
curprev 03:5903:59, 10 December 2009 Gregbard talk contribs 3,201 bytes +4 substitution instance using Project:AWB undo

curprev 01:1801:18, 8 December 2009 Gregbard talk contribs 3,197 bytes +4 logical consequence using Project:AWB undo

curprev 04:4304:43, 9 August 2009 Erik9bot talk contribs 3,193 bytes +49 add Category:Articles lacking sources (Erik9bot) undo

curprev 21:1921:19, 4 May 2008 CBM talk contribs 3,144 bytes −137 →[[WP:LEAD|Lede]]: rephrase to avoid theorem of Beth that is cryptically misstated; see talk page undo
curprev 21:0521:05, 4 May 2008 Nortexoid talk contribs m 3,281 bytes +1 specifying source by "author (year)" undo

curprev 13:1213:12, 3 May 2008 CBM talk contribs 3,280 bytes +11 →[[WP:LEAD|Lede]]: specify theorem of Beth undo

curprev 01:3701:37, 1 May 2008 Gregbard talk contribs m 3,269 bytes +55 →See also undo
curprev 01:3401:34, 1 May 2008 Gregbard talk contribs m 3,214 bytes −41 fix undo
curprev 01:3401:34, 1 May 2008 Gregbard talk contribs 3,255 bytes +140 others undo

curprev 20:2520:25, 30 April 2008 Gregbard talk contribs m 3,115 bytes −6 bypass redirect using AWB undo

curprev 22:3922:39, 6 December 2006 Jpbowen talk contribs m 3,121 bytes +23 Added category undo

curprev 01:4701:47, 5 November 2006 Physis talk contribs m 3,098 bytes +25 ``Tarskian semantics'' page does not exist, but it is covered by Semantic theory of truth undo

curprev 09:4109:41, 19 August 2006 Mhss talk contribs m 3,073 bytes +21 No edit summary undo

curprev 12:5012:50, 22 June 2006 Mets501 talk contribs 3,052 bytes +55 iff-->if and only if + clean up using AWB undo

curprev 02:2202:22, 22 March 2006 80.168.226.232 talk 2,997 bytes +8 standard semantics, more linking undo
curprev 02:2202:22, 22 March 2006 80.168.226.232 talk 2,989 bytes +45 linking undo
curprev 02:2002:20, 22 March 2006 80.168.226.232 talk 2,944 bytes +4 Tarskian semantics undo
curprev 02:1902:19, 22 March 2006 Creidieki talk contribs m 2,940 bytes +4 wk "atomic formula" undo

Retrieved from "https://en.wikipedia.org/wiki/Truth-value_semantics"