Abstract

In this paper we present relational representation theorem s for lattice-based modal alge- bras and their axiomatic extensions taking into account well-known schemas of modal logics. The underlying algebraic structures are bounded, not necessarily distributive lattices. Our approach is based on the Urquhart's result for non-distributive lattic es and Allwein and Dunn developments for algebras of liner logics.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call