Photo by efekurnaz from unsplash
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… Click to show full 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 any finitely valued deterministic and non-deterministic logic. I provide a couple of examples of proof systems for well-known many-valued logics and prove the completeness of proof systems generated by the framework.
Keywords:
like proof;
non deterministic;
many valued;
proof systems;
tree like
Journal Title: Logica Universalis
Year Published: 2020
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Logica Universalis
Year Published: 2020
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!