Switch to: References

Add citations

You must login to add citations.
  1. On a Three-Valued Logic with Blamey’s Interjunction for the Formal Description of Atomic Transactions.Mateusz M. Radzki - forthcoming - Axiomathes:1-15.
    The article demonstrates that to describe the property of atomicity of transactions in database systems, we need a three-valued logic with propositional connective characterized in the same way as Blamey’s interjunction. However, the article explains that since Blamey’s partial logic with interjunction is a logic without tautologies, it does not satisfy some salient conditions of being a logic of atomic transactions. The article introduces a logic of the considered kind, and provides an example of the formal exposition of the case (...)
    Direct download (2 more)  
    Export citation