All public logs

Combined display of all available logs of Logic Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 18:07, 30 June 2021 Admin talk contribs deleted page LogicWiki (content was: "#REDIRECT LogicWiki", and the only contributor was "Admin" (talk))
• 18:06, 30 June 2021 Admin talk contribs deleted page Logic Wiki (content was: "=Group for Computability, Approximate Reasoning, Ordered structures, and Logics= CAROL is a research group of Federal University of Rio Grande do Norte (UFRN). It agglutinates researchers who are interested in the mathematical/formal aspects of Computing and its applications. == Matemática Discreta == * Fundamentos Matemáticos da Computação 1 * Fundamentos Matemáticos da Computação 2 * Fundamentos Matemáticos da Computação 3 == Ferramentas de L...")
• 18:04, 30 June 2021 Admin talk contribs deleted page LogicWiki (Deleted to make way for move from "Logic Wiki (LoLITA)")
• 18:04, 30 June 2021 Admin talk contribs moved page Logic Wiki (LoLITA) to LogicWiki without leaving a redirect
• 06:04, 30 June 2021 Admin talk contribs moved page Logic Wiki (LoLITA) to LogicWiki
• 06:04, 30 June 2021 Admin talk contribs moved page Logic Wiki (LoLITA) to Logic Wiki
• 13:43, 6 October 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a lógica de primeira ordem (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos == Links externos == *", and the only contributor was "Jmarcos" (talk))
• 13:12, 6 October 2020 Jmarcos talk contribs deleted page Semântica formal para a Lógica Proposicional (content was: "* Semântica formal para a Lógica Proposicional Clássica * Semântica formal para a Lógica Proposicional Intuicionista [AGUARDE!] == Para reflexão == * == Veja também == * Correção e completude * Introdução Computacional à Lógica Matemática == Links externos == *", and the only contributor was "Jmarcos" (talk))
• 13:08, 6 October 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a lógica proposicional (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * Como caracterizar o principal objeto de estudos da '''Teoria das Demonstrações''' (EN: ''Proof Theory'')? == Veja também == * Formalismos dedutivos * Introdução Computacional à Lógica Matemática == Links externos == *", and the only contributor was "Jmarcos" (talk))
• 13:00, 6 October 2020 Jmarcos talk contribs created page Sistemas dedutivos para a lógica proposicional (Created page with "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * Como caracterizar o principal objeto de estudos da '''...")
• 13:00, 6 October 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a Lógica Proposicional (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * Como caracterizar o principal objeto de estudos da '''Teoria das Demonstrações''' (EN: ''Proof Theory'')? == Veja também == * Formalismos dedutivos == Links externos == *", and the only contributor was "Jmarcos" (talk))
• 12:57, 6 October 2020 Jmarcos talk contribs created page Sintaxe da lógica proposicional (Created page with "* '''Fórmulas'''<!-- --><p>{{#ev:youtube|OqcmQGaJjl0}}</p> * Algumas ''comparações'' entre as linguagens proposicional e de primeira ordem<!-- --><p>{{#ev:youtube|NuMzq-9i2...")
• 12:57, 6 October 2020 Jmarcos talk contribs deleted page Sintaxe da Lógica Proposicional (content was: "* '''Fórmulas'''<!-- --><p>{{#ev:youtube|OqcmQGaJjl0}}</p> * Algumas ''comparações'' entre as linguagens proposicional e de primeira ordem<!-- --><p>{{#ev:youtube|NuMzq-9i25o}}</p> == Para reflexão == * == Veja também == * Definição recursiva da linguagem proposicional * Sintaxe da Lógica de Primeira Ordem == Links externos == * [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)]")
• 12:55, 6 October 2020 Jmarcos talk contribs created page Lógica de primeira ordem (Created page with "* Sintaxe da lógica de primeira ordem * Sistemas dedutivos para a lógica de primeira ordem * Semântica formal para a lógica de primeira ordem == Para reflexã...")
• 12:55, 6 October 2020 Jmarcos talk contribs deleted page Lógica de Primeira Ordem (content was: "* Sintaxe da lógica de primeira ordem * Sistemas dedutivos para a lógica de primeira ordem * Semântica formal para a lógica de primeira ordem == Para reflexão == * == Veja também == * == Links externos == * [https://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem Lógica de primeira ordem]", and the only contributor was "Jmarcos" (talk))
• 12:54, 6 October 2020 Jmarcos talk contribs created page Lógica proposicional (Created page with "* Sintaxe da Lógica Proposicional * Sistemas dedutivos para a Lógica Proposicional * Semântica formal para a Lógica Proposicional == Para reflexão == * Que...")
• 12:53, 6 October 2020 Jmarcos talk contribs deleted page Lógica Proposicional (content was: "* Sintaxe da Lógica Proposicional * Sistemas dedutivos para a Lógica Proposicional * Semântica formal para a Lógica Proposicional == Para reflexão == * Que consequências tem o fato de que as fórmulas atômicas da lógica proposicional ''não possuem estrutura interna''? == Veja também == * == Links externos == * [https://pt.wikipedia.org/wiki/L%C3%B3gica_proposicional Lógica proposicional]")
• 12:52, 6 October 2020 Jmarcos talk contribs created page Sistemas dedutivos para a lógica de primeira ordem (Created page with "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos ==...")
• 12:51, 6 October 2020 Jmarcos talk contribs deleted page Sistemas dedutivos para a Lógica de Primeira Ordem (content was: "* Dedução Natural * Cálculo de Sequentes * Tableaux * Método da Resolução == Para reflexão == * == Veja também == * Formalismos dedutivos == Links externos == *", and the only contributor was "Jmarcos" (talk))
• 12:50, 6 October 2020 Jmarcos talk contribs created page Sintaxe da lógica de primeira ordem (Created page with "* Assinatura de primeira ordem * Termos de primeira ordem * Fórmulas de primeira ordem * Substituição de variáveis por termos == Para reflexão == * ==...")
• 12:49, 6 October 2020 Jmarcos talk contribs deleted page Sintaxe da Lógica de Primeira Ordem (content was: "* Assinatura de primeira ordem * Termos de primeira ordem * Fórmulas de primeira ordem * Substituição de variáveis por termos == Para reflexão == * == Veja também == * Sistema dedutivo para a Lógica de Primeira Ordem * Semântica formal para a Lógica de Primeira Ordem * Sintaxe da Lógica Proposicional == Links externos == * [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)]")
• 12:47, 6 October 2020 Jmarcos talk contribs created page Semântica formal para a lógica de primeira ordem (Created page with "* Semântica formal para a Lógica de Primeira Ordem Clássica * Semântica formal para a Lógica de Primeira Ordem Intuicionista == Para reflexão == * == Veja ta...")
• 12:46, 6 October 2020 Jmarcos talk contribs created page Semântica formal para a lógica proposicional (Created page with "* Semântica formal para a Lógica Proposicional Clássica * Semântica formal para a Lógica Proposicional Intuicionista == Para reflexão == * == Veja também ==...")
• 12:45, 6 October 2020 Jmarcos talk contribs deleted page Semântica formal para a Lógica de Primeira Ordem (content was: "* Semântica formal para a Lógica de Primeira Ordem Clássica * Semântica formal para a Lógica de Primeira Ordem Intuicionista == Para reflexão == * == Veja também == * Correção e completude == Links externos == *", and the only contributor was "Jmarcos" (talk))
• 21:58, 5 October 2020 Jmarcos talk contribs created page Dedução Natural para a Lógica de Primeira Ordem Clássica (criando verbete)
• 21:53, 5 October 2020 Jmarcos talk contribs created page Dedução Natural para a Lógica de Primeira Ordem Intuicionista (criando verbete)
• 21:48, 5 October 2020 Jmarcos talk contribs created page Sistemas dedutivos para a Lógica de Primeira Ordem (criando verbete)
• 21:44, 5 October 2020 Jmarcos talk contribs created page Correção e completude para a Lógica de Primeira Ordem Clássica (criando verbete)
• 21:43, 5 October 2020 Jmarcos talk contribs created page Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica (criando verbete)
• 12:58, 26 September 2020 Jmarcos talk contribs created page Semântica formal para a Lógica de Primeira Ordem (criando página)
• 02:59, 26 September 2020 Jmarcos talk contribs created page Quantificadores (criando página)
• 20:01, 16 September 2020 Jmarcos talk contribs created page Semântica formal para a Lógica de Primeira Ordem Clássica (criando verbete)
• 13:38, 14 September 2020 Admin talk contribs blocked Kaline talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:37, 14 September 2020 Admin talk contribs blocked Williamaster talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:37, 14 September 2020 Admin talk contribs blocked Victor1237 talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:37, 14 September 2020 Admin talk contribs blocked Rnbruno talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:37, 14 September 2020 Admin talk contribs blocked Paulohq talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:37, 14 September 2020 Admin talk contribs blocked Marcielmanoel15 talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:37, 14 September 2020 Admin talk contribs blocked Lucchino talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:36, 14 September 2020 Admin talk contribs blocked Lucasdp talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:36, 14 September 2020 Admin talk contribs blocked Jpquirino talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:36, 14 September 2020 Admin talk contribs blocked Jeffersonwaa talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:36, 14 September 2020 Admin talk contribs blocked Jaimerson talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:36, 14 September 2020 Admin talk contribs blocked Igorolivei talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:36, 14 September 2020 Admin talk contribs blocked Gellyviana talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:36, 14 September 2020 Admin talk contribs blocked Francleidepsimao talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:35, 14 September 2020 Admin talk contribs unblocked Patrickterrematte talk contribs
• 13:35, 14 September 2020 Admin talk contribs changed block settings for Patrickterrematte talk contribs with an expiration time of 2 hours (autoblock disabled)
• 13:34, 14 September 2020 Admin talk contribs blocked Patrickterrematte talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
• 13:32, 14 September 2020 Admin talk contribs blocked Felipe vianna talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)