15 de abril de 2021
28 de outubro de 2019
29 de dezembro de 2018
20 de julho de 2017
16 de setembro de 2014
22 de abril de 2013
21 de abril de 2013
177.43.11.234
sem resumo de edição
177.43.11.234
sem resumo de edição
177.43.11.234
sem resumo de edição
177.43.11.234
sem resumo de edição
177.43.11.234
sem resumo de edição
−1
177.43.11.234
sem resumo de edição
+1
177.43.11.234
sem resumo de edição
Zoldyick
adicionou Categoria:Lógica matemática usando HotCat
m+35
Zoldyick
−Categoria:Proof theory; −Categoria:Logical calculi; −Categoria:Automated theorem proving usando HotCat
−95
177.43.11.234
→Alternativas estruturais menores
+3
Zoldyick
Ajustes
+35
177.43.11.234
→Regras estruturais
+3
177.43.11.234
→Uma explicação intuitiva
+5
177.43.11.234
sem resumo de edição
+4
Dhudupires
sem resumo de edição
+6
Dhudupires
→Introdução
−2
Dhudupires
→Introdução
−2
Dhudupires
→Introdução
+1
Dhudupires
→Introdução
+2
Dhudupires
→Introdução
+2
Dhudupires
sem resumo de edição
Dhudupires
sem resumo de edição
−1
20 de abril de 2013
Dhudupires
sem resumo de edição
−2
Dhudupires
→Propriedades do sistema LK
−29
Dhudupires
→Propriedades do sistema LK
+8
Dhudupires
→Uma explicação intuitiva
−23
Dhudupires
→Regras de Inferência
−44
Dhudupires
→Introdução
−39
Dhudupires
→Alternativas estruturais menores
+5
Dhudupires
→Lógica Substrutural
−33
Dhudupires
→Regras estruturais
−230
Dhudupires
sem resumo de edição
−145
Dhudupires
sem resumo de edição
−164
FSogumo
sem resumo de edição
+144
FSogumo
FSogumo moveu Cálculo de Sequentes para Cálculo de sequentes sem deixar um redirecionamento
mDhudupires
→Propriedades do sistema LK
−369
Dhudupires
→Derivações de exemplo
−37
Dhudupires
→Regras de Inferência
+1
Dhudupires
→Regras de Inferência
+31
Dhudupires
→Regras de Inferência
+1
Dhudupires
→Regras de Inferência
−190
Dhudupires
sem resumo de edição
−43
Dhudupires
→Veja também
−66
Dhudupires
Tradução do verbete de Lógica sobre Cálculo de Sequentes, passado pelo professor Ruy de Queiroz e feito por Eduardo Pires, eap3
+35 463