On a Three-Valued Logic with Blamey’s Interjunction for the Formal Description of Atomic Transactions

Axiomathes:1-15 (forthcoming)

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 of an atomic transaction. Finally, the article explains the philosophical significance of the introduced logic.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10516-019-09446-x
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,206
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Thought: A Logical Inquiry.Gottlob Frege - 1956 - Mind 65 (259):289-311.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Philosophical Problems of Many-Valued Logic. [REVIEW]S. P. - 1965 - Review of Metaphysics 18 (3):596-596.
Philosophical Problems of Many-Valued Logic.P. S. - 1965 - Review of Metaphysics 18 (3):596-596.
Product Ł Ukasiewicz Logic.Rostislav Horčík & Petr Cintula - 2004 - Archive for Mathematical Logic 43 (4):477-503.
Algorithmic Logic. Multiple-Valued Extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.


Added to PP index

Total views
1 ( #1,379,208 of 2,285,634 )

Recent downloads (6 months)
1 ( #839,861 of 2,285,634 )

How can I increase my downloads?


Sorry, there are not enough data points to plot this chart.

My notes

Sign in to use this feature