An axiomatic account of weak triquotient assignments in locale theory
نویسندگان
چکیده
منابع مشابه
An Axiomatic Account of Formal Argumentation
Argumentation theory has become an important topic in the field of AI. The basic idea is to construct arguments in favor and against a statement, to select the “acceptable” ones and, finally, to determine whether the statement can be accepted or not. Dung’s elegant account of abstract argumentation (Dung 1995) may have caused some to believe that defining an argumentation formalism is simply a ...
متن کاملAn Axiomatic Theory of StateCharts
Executive Summary Statecharts provide for the detailed graphical description of real-time computing systems. Extended Real Time Logic (ERTL) provides for the axiomatic description of real-time computing systems. The StateMate tool provides powerful facilities for the construction and validation of Statecharts, using a conceptually simple graphical user interface. In this paper we develop a mapp...
متن کاملAn Axiomatic Theory of Fairness
The tradeoff between fairness and throughput has been widely observed in network analysis and protocol design. Despite many existing fairness metrics (from simple ones like Jain’s index to more complex ones like α-fair utility), the meaning of fairness is largely based on problemoriented interpretations and judgments, with no well-established framework. To tackle this challenging problem, we pr...
متن کاملAn ACL2 Mechanization of an Axiomatic Framework for Weak Memory
Proving the correctness of programs written for multiple processors is a challenging problem, due in no small part to the weaker memory guarantees afforded by most modern architectures. In particular, the existence of store buffers means that the programmer can no longer assume that writes to different locations become visible to all processors in the same order. However, all practical architec...
متن کاملAn Axiomatic Account of Question Evocation: The Propositional Case
An axiomatic system for question evocation in Classical Propositional Logic is proposed. Soundness and completeness of the system are proven.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2010
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2009.07.005