Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations
Sign Up to like & getrecommendations! Published in 2020 at "Logica Universalis"
DOI: 10.1007/s11787-020-00263-0
Abstract: The main goal of this paper is to provide an abstract framework for constructing proof systems for various many-valued logics. Using the framework it is possible to generate strongly complete proof systems with respect to… read more here.
Keywords: like proof; non deterministic; many valued; proof systems ... See more keywords