Galois Operators for Distributed Logic
Abstract
This is a report on some new operators for Distributed Logic for use in expressing properties of FPGA applications. The Galois operators are variations on the usual necessity and possibility operators. In effect, they complete the first-order logic patterns in the relational semantics for modal logic, although here we extend them for use in Distributed Logic. It was important to bring these into Distributed Logic to increase its expressive power. There is a companion Memo Report, Closure Properties for Galois Operators in Distributed Logic, which shows how thesemantic frames for these operators are closed under a smash product and null sum. The companion report also includes all the proofs elidedin the current report. This report and the companion report will be used for a logic paper showing the Thomason-Goldblatt theorem for theGalois operators. The original Thomason-Goldblatt theorem covered only the necessity and possibility operators for bog standard modal logic.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 27, 2021
- Accession Number
- AD1147426
Entities
People
- Gerard Allwein
Organizations
- United States Naval Research Laboratory