Tree-like proof systems for finitely-many valued deterministic and indeterministic consequence relations
| Title | Tree-like proof systems for finitely-many valued deterministic and indeterministic consequence relations |
| Publication Type | Journal Article |
| Authors | Pawlowski, P |