[Logica-l] [ciência] um exemplo em lógica aplicada

2016-12-23 Por tôpico Francisco Antonio Doria
Vejam, por favor, o texto de divulgação de um livro meu a sair pela World Scientific, sobretudo o parágrafo ao fim: *The Limits of Mathematical Modelling in the Social Sciences: The > Significance of Gö**del's Incompleteness Phenomenon*Francisco Antonio > Doria, editor > > Current mathematical mod

Re: [Logica-l] Planar Heyting Algebras for Children

2016-12-23 Por tôpico Eduardo Ochs
Oi João & outros, acho que tou precisando de uma ajuda em algo preliminar antes de eu tentar fazer as figuras para as negações paraconsistentes... No p.149 do "Modal Logic - An Introduction" do Chellas tem uma figura que dá a ordem parcial das 7 modalidades sem negação em S4; ele diz que a gente