Sequentes como duais dos tableaux para lógicas polivalentes
Main Authors: | , |
---|---|
Format: | Article |
Language: | Portuguese |
Published: |
UNESP
2021-12-01
|
Series: | CQD Revista Eletrônica Paulista de Matemática |
Online Access: | https://www.fc.unesp.br/Home/Departamentos/Matematica/revistacqd2228/v21a01ic-sequentes-como-duais-dos-tableaux.pdf |