Sequentes como duais dos tableaux para lógicas polivalentes
Main Authors: | Elias Oliveira Vieira dos Santos, Luiz Henrique da Cruz Silvestrini |
---|---|
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 |
Similar Items
-
Sequentes como duais dos tableaux para lógicas polivalentes
by: Elias Oliveira Vieira dos Santos, et al.
Published: (2021-12-01) -
A generalização dos duais e sedenios de Leonardo
by: Milena Carolina dos Santos Mangueira, et al.
Published: (2021-07-01) -
A generalização dos duais e sedenios de Leonardo
by: Milena Carolina dos Santos Mangueira, et al.
Published: (2021-07-01) -
Mercado de trabalho: abordagens duais
by: Maria Cristina Cacciamali de Souza
Published: (1978-01-01) -
Lógica da verdade pragmática apresentada num sistema dedutivo de tableaux
by: Helen Gomes da Silva, et al.
Published: (2016-12-01)