Related changes
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.
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
2 May 2024
- diffhist Journal of Symbolic Logic 05:22 +7 Chrisdmiddleton talk contribs (removed Category:Mathematics journals; added Category:Mathematical logic journals using HotCat) Tags: Mobile edit Mobile web edit Advanced mobile edit
1 May 2024
- diffhist Binary relation 21:08 0 Maggyero talk contribs (→Bibliography)
- diffhist Binary relation 21:07 −2 Maggyero talk contribs (→Types of binary relations)
- diffhist Binary relation 21:05 −14 Maggyero talk contribs (→Types of binary relations: Oversight of my previous edit)
- diffhist Binary relation 21:03 −973 Maggyero talk contribs (Add mathematical book references with relevant pages for each defined term, add the terms ‘mapping’ and ‘partial mapping’ used in those references, remove the term ‘onto’ which has no reference and ‘right-definite’ which is only used in a computer science conference paper)
- diffhist Binary relation 17:07 +1,377 Jochen Burghardt talk contribs (undid 2 edits: please do explain your intention before - why did you remove the references for the synonyms, etc.) Tag: Undo
- diffhist Atomic formula 16:30 +21 Thiagovscoelho talk contribs
- diffhist Charles Leonard Hamblin 16:02 +2 Perseus25 talk contribs (Slight wording change)
- diffhist Charles Leonard Hamblin 16:01 +90 Perseus25 talk contribs (Added short description)
- diffhist Charles Sanders Peirce 15:47 +280 Szigetva talk contribs (→External links: added an interview with Dan Everett)
- diffhist Propositional calculus 15:21 +299 Thiagovscoelho talk contribs (→CF grammar in BNF: New second source for the BNF) Tag: Visual edit
- diffhist Propositional calculus 14:43 −10 Thiagovscoelho talk contribs (→Notation styles) Tag: Visual edit
- diffhist Constructive set theory 14:42 +114 88.116.31.14 talk (→Boundedness criteria)
30 April 2024
- diffhist m Binary relation 08:15 −2 Maggyero talk contribs (→Types of binary relations) Tag: Reverted
- diffhist Binary relation 08:13 −1,375 Maggyero talk contribs (Restore synonyms (right-definite, univalent, and onto) for types of binary relations) Tag: Reverted
- diffhist Binary relation 07:41 +1,432 Jochen Burghardt talk contribs (Undid revision 1221487854 by Maggyero (talk): don't remove synonyms without prior discussion) Tag: Undo
- diffhist Binary relation 07:24 +551 Maggyero talk contribs
- diffhist m Automata theory 07:18 +29 SpiralSource talk contribs (linked to quantum finite automata) Tag: Visual edit
- diffhist m Automata theory 07:16 −4 SpiralSource talk contribs (→Connection to category theory) Tag: Visual edit
- diffhist m Automata theory 07:13 +16 SpiralSource talk contribs (→See also: added "Petri net") Tag: Visual edit
- diffhist Binary relation 07:11 +123 AnomieBOT talk contribs (Rescuing orphaned refs ("gs" from rev 1221484800))
- diffhist Binary relation 06:54 −1,432 Maggyero talk contribs (→Types of binary relations) Tag: Reverted
- diffhist Binary relation 06:20 +604 Maggyero talk contribs (→Types of binary relations)
- diffhist m Automata theory 05:03 0 Vissel0126 talk contribs (c/e) Tag: 2017 wikitext editor
- diffhist Free will 00:03 −10 183.83.163.96 talk (Minor language cleanup. →Buddhist philosophy)
29 April 2024
- diffhist Aristotle 23:37 0 Piccco talk contribs
- diffhist Free will 20:57 −32 Ohnoitsjamie talk contribs (not sure what error that fixed) Tag: Manual revert
- diffhist Free will 20:56 +32 183.83.163.96 talk (fixed minor error in name of book →Free will as a pragmatically useful concept) Tag: Reverted
- diffhist Logic 14:17 +39 Thiagovscoelho talk contribs (→See also)
- diffhist Aristotle 13:53 +1 Belbury talk contribs (→Organon: move paragraph and example)
- diffhist Wellington 11:40 −1 Alexeyevitch talk contribs (upd)
- diffhist Hans Kamp 10:46 +92 Falott talk contribs
- diffhist Intuitionistic logic 10:28 −22 77.119.160.96 talk (→Mathematical constructivism: Reduce newline)
- diffhist Free will 01:56 −3 IntGrah talk contribs (ce) Tag: Visual edit
- diffhist Free will 00:17 −82 183.83.163.96 talk (Clarity →Metaphysical libertarianism)
28 April 2024
- diffhist Intermediate logic 23:17 0 178.165.186.228 talk (→Properties and examples)
- diffhist Intuitionistic logic 22:23 +66 178.165.186.228 talk (→Equivalences)
- diffhist Intermediate logic 22:20 +169 178.165.186.228 talk (→Properties and examples)
- diffhist Intuitionistic logic 22:15 +119 178.165.186.228 talk (→Relation to classical logic: Cluster and refer to intermediate logic article presentation)
- diffhist Constructive set theory 17:18 +23 85.184.94.138 talk (→Towards the Dedekind reals) Tags: Mobile edit Mobile web edit
- diffhist Constructive set theory 14:59 +13 213.142.97.90 talk (→Towards the Dedekind reals) Tags: Mobile edit Mobile web edit
- diffhist Constructive set theory 14:50 +14 213.142.97.90 talk (→Towards the Dedekind reals) Tags: Mobile edit Mobile web edit
- diffhist Constructive set theory 14:30 0 95.178.111.154 talk (→Towards the Dedekind reals: Typo) Tags: Mobile edit Mobile web edit
- diffhist Constructive set theory 14:29 +446 95.178.111.154 talk (→Towards the Dedekind reals: Complete link and state locatedness) Tags: Mobile edit Mobile web edit
- diffhist Wellington 09:02 +2 Radicuil talk contribs (→Toponymy: separating unconnected thought into its own paragraph)
- diffhist Wellington 08:59 +339 Radicuil talk contribs (→Toponymy: copied from Wellington Harbour#Toponymy)
27 April 2024
- diffhist Temporal logic 18:23 +71 Sammi Brie talk contribs (Importing Wikidata short description: "System for representing and reasoning about time") Tag: Shortdesc helper
26 April 2024
- diffhist Three-state logic 12:24 +4 118.210.34.193 talk (Add link to high impedance)