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 |