MVLSC HomeIssue Contents

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.

Full Text (IP)