Hyperboolean Algebras and Hyperboolean Modal Logic

Download Edit this record How to cite View on PhilPapers
Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research.
Reprint years
PhilPapers/Archive ID
Revision history
Archival date: 2018-04-21
View upload history
References found in this work BETA

View all 6 references / Add more references

Citations of this work BETA

Add more citations

Added to PP index

Total views
31 ( #33,299 of 38,914 )

Recent downloads (6 months)
9 ( #31,163 of 38,914 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.