This paper shows that the kernel fragment of Esterel corresponding to combinational circuits admits a natural game–theoretic interpretation. Technically, combinational Esterel programs are mapped into finite two–player games in such a way that the standard must– and cannot–analysis of signal statuses is reflected in the computation of winning strategies. The novel game–theoretic approach comple...

In the early twentieth century, L.E.J. Brouwer pioneered a new philosophy of mathematics, called intuitionism. Intuitionism was revolutionary in many respects but stands out -mathematically speakingfor its challenge of Hilbert’s formalist philosophy of mathematics and rejection of the law of excluded middle from the ‘classical’ logic used in mainstream mathematics. Out of intuitionism grew intu...

the literary approach to quranic interpretations is founded on words, morphology, syntax and rhetoric. however, contemporary literary school, in addition to these principles, takes into account other principles like authenticating solely the literary understanding. comparing sayyid murtazā's literary approach with the principles and ideas of sheikh tusi in al-tibyan reveals various aspects...

We present a concrete example of how one can extract constructive content from a non{constructive proof. The proof investigated is a termination proof of the string{rewriting system 1100 ! 000111. This rewriting system is self{embedding, so the standard termination techniques which rely on Kruskal's Tree Theorem cannot be applied directly. Dershowitz and Hoot 3] have given a classical terminati...

generally, there are four approaches to social phenomena in soial sciences: the agent-based approach, the structural approach, the functional approach, and the critical realistic approach. these approachs, with respect to their specific interpretation of social phenomena, concentrate on the behavior of agents or on the structural charctristics or on both to arriv at explanations. this article i...

Intuitionistic mathematics perceives subtle variations in meaning where classical mathematics asserts equivalence, and permits geometrically and computationally motivated axioms that classical mathematics prohibits. It is therefore wellsuited as a logical foundation on which questions about computability in the real world are studied. The realizability interpretation explains the computational ...

In this article the Uniquest Algorithm (the \quest for uniqueness"), deened in the Predicator Model, is discussed in depth. The Predicator Model is a general platform for object-role models. The Uniquest Algorithm is a constructive formal deenition of the semantics of uniqueness constraints. As such, it facilitates the implementation in so-called CASE-tools. The Uniquest Algorithm provides a sy...