TitleTree-like proof systems for finitely-many valued deterministic and indeterministic consequence relations
Publication TypeJournal Article
AuthorsPawlowski, P

Export as...

BibTex   Tagged   XML   RIS