Hyperboolean Algebras and Hyperboolean Modal Logic

Download Edit this record How to cite View on PhilPapers
Abstract
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
1999
ISBN(s)
PhilPapers/Archive ID
GORHAA-2
Upload history
Archival date: 2018-04-21
View other versions
Added to PP index
2013-12-01

Total views
79 ( #44,197 of 58,452 )

Recent downloads (6 months)
10 ( #48,717 of 58,452 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.