A new tableaux system for KD
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
Lázaro, C. and Rodrigues, T.
2020-12-01
|
| Series: | CQD Revista Eletrônica Paulista de Matemática |
| Online Access: | https://www.fc.unesp.br/Home/Departamentos/Matematica/revistacqd2228/v19a06-a-new-tableaux-system-for-kd.pdf |