All public logs
Jump to navigation
Jump to search
Combined display of all available logs of FasciPedia. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 17:49, 26 January 2023 Bacchus talk contribs created page Functional logic (Created page with "'''Functional logic''' is a philosophy that is used in the makeup of computer languages, and is the combination, in a single programming language, of the paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book |first1=Gopalan |last1=Nadathur |first2=D. |last2=Miller |chapter=Higher-Order Logic Programming |title=Handbook of Logi...")
- 17:37, 26 January 2023 Bacchus talk contribs created page Symbolic logic (Created page with "'''Symbolic logic''', is a subset of both philosophy and mathematical logic. Although the layperson may think that the term '''''mathematical logic''''' refers to the logic of mathematics, the truth is rather that it more closely resembles the mathematics of logic. It comprises those parts of logic that can be modeled mathematically. Although the fact is not emphasized in traditional treatments (although this may change as software advances and exposition then star...")
- 17:23, 26 January 2023 Bacchus talk contribs created page Intuitionistic logic (Created page with "'''Intuitionistic Logic''' is the logical branch of Mathematical intuitionism. Roughly speaking, 'intuitionism' holds that logic and math are 'constructive' mental activities. That is, they are not analytic activities wherein deep properties of existence are revealed and applied. Instead, logic and math are the application of internally consistent methods to realize more complex mental constructs (really, a kind of game). In a stricter sense, intuitionistic logic can b...")
- 17:17, 26 January 2023 Bacchus talk contribs created page Minimal logic (Created page with "'''Minimal logic''', or '''minimal calculus''', is the symbolic logic system originally developed by Ingebrigt Johansson. If we interpret Classical logic as a system of Natural deduction removing the rule of Double negative elimination results in Minimal logic. Then if we interpret Minimal logic as an Axiomatic system we can conservatively extend it with different Axioms resulting in a variety of Intermediate logics lying between Minimal logic and Classical...")
- 00:23, 26 January 2023 Archangel talk contribs created page File:Libertybook2.png
- 00:23, 26 January 2023 Archangel talk contribs uploaded File:Libertybook2.png
- 00:19, 26 January 2023 Archangel talk contribs created page File:Libertybook1.png
- 00:19, 26 January 2023 Archangel talk contribs uploaded File:Libertybook1.png
- 23:59, 24 January 2023 Archangel talk contribs created page File:Chictribbund.png
- 23:59, 24 January 2023 Archangel talk contribs uploaded File:Chictribbund.png
- 23:58, 24 January 2023 Archangel talk contribs created page File:Badge4.png
- 23:58, 24 January 2023 Archangel talk contribs uploaded File:Badge4.png
- 23:55, 24 January 2023 Archangel talk contribs created page File:Badge3.png
- 23:55, 24 January 2023 Archangel talk contribs uploaded File:Badge3.png
- 23:51, 24 January 2023 Archangel talk contribs created page File:Shovels.png
- 23:51, 24 January 2023 Archangel talk contribs uploaded File:Shovels.png
- 17:21, 24 January 2023 Archangel talk contribs changed group membership for Archangel from NatSoc, accountvetter, automoderated user, bot, bureaucrat, check user, editor, filemaster, founder, interface administrator, judge, moderator, patroller, rollback, staff, suppressor, administrator, warden and writer to NatSoc, accountvetter, automoderated user, bureaucrat, check user, editor, filemaster, founder, interface administrator, judge, moderator, patroller, rollback, staff, suppressor, administrator, warden and writer
- 22:33, 23 January 2023 Archangel talk contribs created page File:Thefascistbrit.png
- 22:33, 23 January 2023 Archangel talk contribs uploaded File:Thefascistbrit.png
- 22:19, 23 January 2023 Archangel talk contribs created page File:Nrwswkhands.png
- 22:19, 23 January 2023 Archangel talk contribs uploaded File:Nrwswkhands.png
- 22:16, 23 January 2023 Archangel talk contribs created page File:2ltscoutss.png
- 22:16, 23 January 2023 Archangel talk contribs uploaded File:2ltscoutss.png
- 22:16, 23 January 2023 Archangel talk contribs created page File:Ltscout.png
- 22:16, 23 January 2023 Archangel talk contribs uploaded File:Ltscout.png
- 22:14, 23 January 2023 Archangel talk contribs created page File:Heersburgfuhrer.png
- 22:14, 23 January 2023 Archangel talk contribs uploaded File:Heersburgfuhrer.png
- 22:13, 23 January 2023 Archangel talk contribs created page File:Chtribhess.png
- 22:13, 23 January 2023 Archangel talk contribs uploaded File:Chtribhess.png
- 18:23, 23 January 2023 Archangel talk contribs moved page Rudolf Hess to Rudolf Walter Richard Hess
- 18:14, 23 January 2023 Rightof Genghiskhan talk contribs created page Rudolf Hess (Created page with "Rudolf Walter Richard Hess was born 26 April 1894 and died 17 August 1987 in Spandau prison. He was a politician leading member of the National Socialist Party in Germany. ")
- 13:51, 23 January 2023 Archangel talk contribs changed group membership for MediaWiki message delivery from bot to bot, administrator and interface administrator
- 13:50, 23 January 2023 Archangel talk contribs created page User:MediaWiki message delivery (Created page with "This is a Bot. Pay no attention to me, I am only your friendly neighborhood mail boy.")
- 13:48, 23 January 2023 Archangel talk contribs changed group membership for Deleted User from AccountVetter, Editors, Founders, Judges, NatSoc, Rollback, Writer, accountvetter, administrator, automoderated user, chatmod, check user, editor, filemaster, forumadmin, founder, founders, judge, judges, moderator, patroller, rollback, specialguest, staff, sudo, suppressor, warden and writer to AccountVetter, Editors, Founders, Judges, Rollback, Writer, administrator, chatmod, forumadmin, founders, judges and sudo
- 13:45, 23 January 2023 Archangel talk contribs deleted the user account "Archangel3" (94)
- 13:45, 23 January 2023 Archangel talk contribs merged the user account "Archangel3" (94) into Deleted User (93)
- 13:44, 23 January 2023 Archangel talk contribs moved page User:Archangel2 to User:Deleted User without leaving a redirect (Automatically moved page while renaming the user "Archangel2" to "Deleted User")
- 13:44, 23 January 2023 Archangel talk contribs renamed user Archangel2 (7914 edits) to Deleted User
- 13:41, 23 January 2023 Archangel talk contribs changed group membership for Deleted User from AccountVetter, Editors, Founders, Judges, NatSoc, Rollback, Writer, accountvetter, administrator, automoderated user, bot, bureaucrat, chatmod, check user, editor, filemaster, forumadmin, founder, founders, interface administrator, judge, judges, moderator, patroller, rollback, specialguest, staff, sudo, suppressor, administrator, warden and writer to AccountVetter, Editors, Founders, Judges, NatSoc, Rollback, Writer, accountvetter, administrator, automoderated user, chatmod, check user, editor, filemaster, forumadmin, founder, founders, judge, judges, moderator, patroller, rollback, specialguest, staff, sudo, suppressor, warden and writer
- 01:56, 23 January 2023 WikiSysop talk contribs changed group membership for Archangel from bureaucrat to bureaucrat, bot, administrator, interface administrator, suppressor, warden, writer, editor, NatSoc, judge, founder, accountvetter, rollback, filemaster, patroller, automoderated user, staff, check user and moderator
- 01:53, 23 January 2023 User account Archangel talk contribs was created automatically
- 01:50, 23 January 2023 WikiSysop talk contribs moved page User talk:Archangel/AAtalk archive 11-26-22 to User talk:Archangelold/AAtalk archive 11-26-22 (Automatically moved page while renaming the user "Archangel" to "Archangelold")
- 01:50, 23 January 2023 WikiSysop talk contribs moved page User talk:Archangel to User talk:Archangelold (Automatically moved page while renaming the user "Archangel" to "Archangelold")
