Wikipédia:Fusão/Central de fusões/Sistema lógico; Sistema formal
Proposta feita em 5 de maio de 2012 para a fusão das seguintes páginas: Sistema lógico e Sistema formal.
Discussão encerrada. Resultado: 
fundido
Eu não tenho certeza, mas Sistema lógico e Sistema formal me parecem ser sinônimos. Cada um, porém, tem atualmente um artigo separado aqui na Wikipédia.
No Wikcionário, os verbetes Sistema lógico e Sistema formal são sinônimos.
Também no artigo sobre Linguagem formal aqui na Wikipédia aparece essa relação de sinônimos na seção Aplicações > Teorias formais, sistemas e provas:
"Um sistema formal (também chamado de um cálculo lógico, ou um sistema lógico) consiste de uma linguagem formal em conjunto com um aparato dedutivo (também chamado de um sistema dedutivo)."
Se alguém puder confirmar se são sinônimos, sugiro a fusão dos dois artigos.
- Citando o que está na en.wiki no artigo "formal system", secção "Logical system": Citação: A logical system or, for short, logic, is a formal system together with a form of semantics, usually in the form of model-theoretic interpretation, which assigns truth values to sentences of the formal language, that is, formulae that contain no free variables. A logic is sound if all sentences that can be derived are true in the interpretation, and complete if, conversely, all true sentences can be derived.. Polyethylen (discussão) 21h08min de 5 de maio de 2012 (UTC)
- Nenhum dos dois artigos tem fontes, ambos devem ser apagados. Albmont (discussão) 19h40min de 9 de maio de 2012 (UTC)
arquivado como fundir--Leon Saudanha 22h34min de 17 de setembro de 2016 (UTC)