Várias catracas?
26 views
Skip to first unread message
Frode Bjørdal
Oct 13, 2022, 8:07:11 PM10/13/22
to LOGICA-L
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?
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
Frode
jean-yves beziau
Oct 19, 2022, 6:25:11 PM10/19/22
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA, Frode Bjørdal
Ola Frode
Sobre catracacas, um artigo que eu publiquei recentemente pode interessar você:
"Turnstile Figures of Opposition"
Um abraço, JYB
---------------------------------------------------------------------------------------------------------
Reply all
Reply to author
Forward
0 new messages