A relational formalisation of arbitrary finite valued logics
Beata Konikowska · Logic Journal of IGPL · 1998
A method of developing a relational semantics and relational proof systems for many-valued logics based on finite algebras of truth values is presented. The method is applied to Rosser-Turquette logic, logics based on symmetric Heyting algebras with operators and a Post-style logic. Keywords:many-valued logic, relational calculus, Kripke semantics, relational semantics, relational proof system, Rasiowa-Sikorski proof system