A Kripke-Style and Relational Semantics for Logics Based on Lukasiewicz Algebras
Luisa Iturrioz and Ewa Orlowska
A completeness theorem is proved for SHn and SHKn-based logics with respect to a Kripke-style semantics. We also give a relational semantics for these calculi such that formulas are interpreted as binary relations.