Múltiplas conclusões: Artigo muito proveitoso

14 views

Skip to first unread message

Antonio Marmo

unread,

Oct 21, 2019, 10:08:08 AM10/21/19

to logi...@dimap.ufrn.br

Caríssimos amigos, mestres e colegas,

Quando encontro um artigo de que gosto, faço questão de o divulgar. E este inclusive é de autoria da estimada Valéria de Paiva que participa desta lista. O texto encontra-se no sítio academia.edu.

A Short Note on Intuitionistic Propositional Logic with Multiple Conclusions

By Valeria de Paiva

Manuscrito, 2005

It is a common misconception among logicians to think that intuition-ism is necessarily tied-up with single conclusion (sequent or Natural Deduction) calculi. Single conclusion calculi can be used and are convenient, but they are by no means necessary, as shown by such influential authors as Kleene, Takeuti and Dummett, to cite only three. If single conclusions are not necessary, how do we guarantee that only intuitionistic derivations are allowed? Traditionally one insists on restrictions on particular rules: implication right, negation right and universal quantification right are required to be single conclusion rules. In this note we show that instead of a cardinality restrictionm such as one conclusion only, we can use a notion of dependency between formulae to enforce the constructive character of derivations.

Most problems of teaching are not problems of growth but helping cultivate growth. As far as I know, and this is only from personal experience in teaching, I think about ninety percent of the problem in teaching, or maybe ninety-eight percent, is just to help the students get interested.

Noam Chomsky

Valeria de Paiva

unread,

Oct 21, 2019, 12:58:52 PM10/21/19

to Antonio Marmo, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

oi Tony,

Obrigada pelo "shout-out"! mas o artigo 'e meu e do Luiz Carlos Pereira!

espero que o site Academia nao tenha retirado o nome dele que na verdade foi quem teve a ideia original.

Uma ideia que nos dois continuamos achando importante!

abracos logicos,

Valeria

--
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/A1F62497-5D44-4B84-87B3-224034452396%40gmail.com.