Várias catracas?

26 views

Skip to first unread message

Frode Bjørdal

unread,

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?

Att.

Frode

jean-yves beziau

unread,

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"

https://link.springer.com/chapter/10.1007/978-3-030-90823-2_10

Um abraço, JYB

---------------------------------------------------------------------------------------------------------

Reply all

Reply to author

Forward

0 new messages