Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations

Pawel Pawlowski. Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations. Logica Universalis, 14(4):407-420, 2020. [doi]

Abstract

Abstract is missing.