[Logica-l] Várias catracas?

2022-10-13 Por tôpico Frode Bjørdal
Prezadxs, Achei que esta pergunta poderia ser apropriada aqui: Alguém desenvolveou lógicas que distinguem entre diferentes tipos de teoremas, e fazem uso de diferentes catracas ("turnstiles"), ou meios equivalentes, para esse fim? Att. Frode -- LOGICA-L Lista acadêmica brasileira dos profi

[Logica-l] Várias catracas?

2022-10-13 Por tôpico Frode Bjørdal
Prezadxs, Achei que esta pergunta poderia ser apropriada aqui: Alguém desenvolveou lógicas que distinguem entre diferentes tipos de teoremas, e fazem uso de diferentes catracas ("turnstiles"), ou meios equivalentes, para esse fim? Att. Frode > > -- LOGICA-L Lista acadêmica brasileira dos pro

Re: [Logica-l] Easychair went commercial

2022-10-13 Por tôpico Antônio Diego
Na Contabilidade existem as *partidas dobradas*, ou seja, para todo crédito, há um débito subsequente. Sds; Diego. Em qua., 12 de out. de 2022 às 21:20, Daniel Durante escreveu: > Já é lugar comum, mas é verdade: se o serviço é de graça, é porque o > produto é você. > > Digo isso de um email (g