=Paper=
{{Paper
|id=Vol-1645/inv3
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1645/inv3.pdf
|volume=Vol-1645
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-1645/inv3.pdf</pdf>
<pre>
Synchronous Programming in Intermediate
           Constructive Logic

                            Michael Mendler1

                   Otto-Friedrich Universität, Bamberg:



 Abstract. Cyclic and concurrent logical programs, such as those arising
 in asynchronous circuits or in the declarative semantics of synchronous
 programming languages, do not admit unique canonical execution se-
 mantics. Instead, different approaches impose different restrictions on
 stabilization behavior to define different classes of synchronous step re-
 actions. Typically, these are defined by operational semantics based on
 scheduling policies. This is good for implementations. However, it flies
 in the face of the beauty of declarative programming, which is to give
 purely logical meaning to computations. Can we regain logical sense in
 synchronous reactions? We argue this is possible by replacing operational
 stability in the classical Boolean semantics by logical stability in inter-
 mediate constructive logics. This tentative talk will report some results
 in this direction, featuring intermediate constructive logics related to
 Gödel, Dummett and Maximova.

</pre>