Asset Details
Do you wish to reserve the book?
BK-lattices. Algebraic Semantics for Belnapian Modal Logics
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
BK-lattices. Algebraic Semantics for Belnapian Modal Logics
Do you wish to request the book?
BK-lattices. Algebraic Semantics for Belnapian Modal Logics
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Journal Article
BK-lattices. Algebraic Semantics for Belnapian Modal Logics
2012
Overview
Earlier algebraic semantics for Belnapian modal logics were defined in terms of twist-structures over modal algebras. In this paper we introduce the class of BK-lattices, show that this class coincides with the abstract closure of the class of twist-structures, and it forms a variety. We prove that the lattice of subvarieties of the variety of BK-lattices is dually isomorphic to the lattice of extensions of Belnapian modal logic BK. Finally, we describe invariants determining a twist-structure over a modal algebra.
Publisher
Springer,Springer Netherlands,Springer Nature B.V
