Jump to content

Related changes

← Intuitionistic logic

Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide unregistered users | Hide my edits | Show bots | Hide minor edits | Show page categorization | Show Wikidata | Hide probably good edits
Show new changes starting from 21:26, 7 April 2025

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

List of abbreviations (help):

D: Edit made at Wikidata
r: Edit flagged by ORES
N: New page
m: Minor edit
b: Bot edit
(±123): Page byte size change
: Temporarily watched page

7 April 2025

diffhist m Propositional calculus 21:22 −99 Marc Schroeder talk contribs (→Frege's Begriffsschrift: uniform notation throughout the article)
diffhist m Propositional calculus 20:53 +57 Marc Schroeder talk contribs
diffhist Propositional calculus 19:30 +3,760 Marc Schroeder talk contribs (Put the references into a list. List will be alphabetically sorted at a some later moment.)
diffhist m First-order logic 16:28 −8 BardRapt talk contribs (→Algebraizations: mce)
diffhist Consequentia mirabilis 15:12 +45 212.186.132.66 talk (→Intuitionistic logic)
diffhist Minimal logic 15:02 +16 212.186.132.66 talk (→Implications and negation: Phrasing)
diffhist m Propositional calculus 12:35 +124 Marc Schroeder talk contribs (→External links: added link to article 'Propositional Logic' on Stanford Encyclopedia of Philosophy)
diffhist m Oxford University Press 12:30 +2 Tomiĉo talk contribs (MOS:ARTCON spelling)
diffhist m Jan Łukasiewicz 01:21 −3 Marc Schroeder talk contribs
diffhist m Jan Łukasiewicz 01:18 +138 Marc Schroeder talk contribs (→Papers: completed a ref)

6 April 2025

diffhist Modus ponens 22:49 +54 Loverthehater talk contribs (→Justification via truth table: renamed header, added some links. see talk page.)
diffhist Material conditional 21:09 −1 2600:8804:4:9e00::ba9b:12aa talk (→Syntactical properties: fixed spelling mistake (addedd to added))
diffhist Elsevier 14:15 −29 Schazjmd talk contribs (caps, spell out abbreviation)
diffhist m Jan Łukasiewicz 09:22 +167 Marc Schroeder talk contribs (→Papers: completed a ref)
diffhist De Morgan's laws 04:12 +550 Gamma Delphini talk contribs (Undid revision 1284016770 by 201.175.219.109 (talk) Revert unnecessary deletion) Tags: Undo Mobile edit Mobile app edit Android app edit App undo
diffhist Elsevier 03:21 +1,280 ChaetoLv talk contribs (→Criticism of academic practices: COI between climate research and fossil fuel industry)

5 April 2025

diffhist Module:Authority control/config 21:08 +141 MSGJ talk contribs (+Kulturenvanteri monument)
diffhist m Modal logic 11:03 0 Oneequalsequalsone talk contribs (→History) Tag: Visual edit
diffhist m Proof by contradiction 06:47 −39 BrianTheNERD talk contribs (Removed need for citation banner)
diffhist Proof by contradiction 06:44 +404 BrianTheNERD talk contribs (citation added) Tags: Visual edit Newcomer task Newcomer task: references
diffhist De Morgan's laws 02:41 −550 201.175.219.109 talk (→Text searching) Tags: Reverted Mobile edit Mobile web edit

3 April 2025

diffhist Boolean algebra 15:17 0 Remsense talk contribs (idiomatic form (By FindAndReplace))
diffhist First-order logic 15:12 −9 Remsense talk contribs (idiomatic)
diffhist First-order logic 15:12 +10 Remsense talk contribs
diffhist Kurt Gödel 02:54 −35 Remsense talk contribs (restore but without all the other problems)
diffhist Kurt Gödel 02:53 +71 Cerebrality talk contribs (Undid revision 1283670993 by Remsense (talk): restored per talk page) Tag: Undo

2 April 2025

diffhist Kurt Gödel 23:23 −71 Remsense talk contribs (Undid revision 1283670818 by Cerebrality (talk): per previous reversion, WP:GEOLINK etc.) Tags: Undo Reverted
diffhist Kurt Gödel 23:21 +71 Cerebrality talk contribs (Undid revision 1283542450 by Nikkimaria (talk) see talk page) Tags: Undo Reverted
diffhist Law of excluded middle 16:00 −403 Cgibbard talk contribs (Undid revision 1283613175 by Cgibbard (talk) noticed that a similar example was provided farther down in the article) Tag: Undo
diffhist Law of excluded middle 15:56 +403 Cgibbard talk contribs (→Examples: add an example of a constructive proof that an irrational number to an irrational power can be rational.) Tag: Reverted
diffhist Description logic 13:10 +138 Fschwarzentruber talk contribs (→Terminology compared to FOL and OWL: examples) Tag: Visual edit
diffhist Description logic 13:07 +66 Fschwarzentruber talk contribs (→Modeling) Tag: Visual edit
diffhist Kurt Gödel 04:30 −71 Nikkimaria talk contribs (see template doc) Tag: Reverted

1 April 2025

diffhist m Verilog 21:16 +1 Comfr talk contribs (paragraph break)
diffhist Kurt Gödel 16:18 +36 Cerebrality talk contribs (restoring cause of death infobox Inanition)
diffhist Kurt Gödel 04:35 −394 ZergTwo talk contribs (Restored revision 1282698764 by Psychastes (talk): Last good version.) Tags: Twinkle Undo
diffhist Kurt Gödel 04:32 +90 Cerebrality talk contribs (intro summary - sentence on death) Tag: Reverted
diffhist Kurt Gödel 04:30 +36 Cerebrality talk contribs (cause of death in infobox) Tag: Reverted
diffhist Kurt Gödel 04:27 +283 Cerebrality talk contribs (→Death: Clinical psychologist Richard Bentall quote) Tag: Reverted
diffhist Kurt Gödel 04:20 −15 Cerebrality talk contribs (→Later life and death: heading title fix) Tag: Reverted

Retrieved from "https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Intuitionistic_logic"