M. Abad, J. Cornejo, and J. Varela, Semi-heyting algebras termequivalent to gà ¶del algebras. Order, pp.1-18, 2012.

C. André, H. Boufaïed, and S. Dissoubray, Synccharts: un modèle graphique synchrone pour système réactifs complexes, Real-Time Systems(RTS'98), pp.175-196, 1998.

T. Krassimir and . Atanassov, On Intuitionistic Fuzzy Sets Theory, volume 283 of Studies in Fuzziness and Soft Computing, 2012.

B. Pigozzi, G. Mobasher, and . Slutzki, Multi-valued logic programming semantics: An algebraic approach, Theoretical Computer Science, vol.171, issue.12, pp.77-109, 1997.

A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

M. Bergmann, An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems, 2008.
DOI : 10.1017/cbo9780511801129

G. Berry, The Constructive Semantics of Pure Esterel. Draft Book, available at: http://www.estereltechnologies, 1996.

G. Berry, The Foundations of Esterel, Proof, Language, and Interaction, Essays in Honor of Robin Milner, 2000.

D. A. Bochvar, On a three-valued logical calculus and its applications to the analysis of the paradoxes of the classical extended functional calculus (in russian) Matémati?eskij Sbornik, History and Philosophy of Logic, vol.4, issue.2, pp.287-308, 1938.

D. Ciucci and D. Dubois, Logiques tri-valuées de l'information incomplète et logique épistémique, Journées Nationales de l'IA Fondamentale, pp.22-24, 2012.

D. Ciucci and D. Dubois, Three-Valued Logics for Incomplete Information and Epistemic Logic, JELIA, pp.147-159, 2012.
DOI : 10.1007/BF02121118
URL : http://hdl.handle.net/10281/37489

M. Davis, Solvability, provability, definability : the collected works of, 1994.

C. Melvin and . Fitting, Kleene's three-valued logics and their children, Fundamenta Informaticae, vol.20, issue.1 3, pp.113-131, 1994.

M. Ginsberg, Multivalued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence, vol.3, issue.3, pp.265-316, 1988.
DOI : 10.1007/BF00485052

K. Gödel, Zum intuitionistischen Aussagenkalkül Anzeiger Akademie der Wissenschaften Wien, mathematisch-naturwiss. Klasse, pp.65-66, 1932.

K. Gödel, Collected Works : Publications, 1929.

D. Harel and A. Pnueli, On the development of reactive systems Advanced Study institute on Logics and Models for Verification and Specification of Concurrent Systems, In NATO, 1985.

A. Heyting, Logic and foundations of mathematics. Wolters-Noordhoff series of monographs and textbooks on pure and applied mathematics. Wolters-Noordhoff, 1969.

C. Huizing and R. Gerth, Semantics of reactive systems in abstract time In Real Time: Theory in Practice, Proc of REX workshop, pp.291-314, 1991.

L. Iturrioz, An axion system for three-valued lukasiewicz propositional calculus, 1977.

S. Jaskowski, Propositional calculus for contradictory deductive systems, Studia Logica, vol.40, issue.nr 2, pp.143-157, 1969.
DOI : 10.1007/BF02134311

N. D. Belnap-jr, A useful four-valued logic. Modern Uses of Multiple-Valued Logic, pp.3-37, 1977.

A. S. Karpenko, Jaskowski's criterion and three-valued paraconsustent logics, Logic and Logical Philosophy, 1999.
DOI : 10.12775/llp.1999.006
URL : http://apcz.pl/czasopisma/index.php/LLP/article/view/LLP.1999.006

. Stephen-cole-kleene, Introduction to metamathematics, Bibl. Matematica. North-Holland, 1952.

J. ?ukasiewicz, Ruch Filozoficzny, pp.169-171, 1920.

A. A. Markov, A contructive logic, Matematiceskih Nauk, 1950.

F. Lagnier, N. Halbwachs, and C. , Programming and verifying critical systems by means of the synchronous data-flow programming language lustre, Special Issue on the Specification and Analysis of Real-Time Systems. IEEE Transactions on Software Engineering, 1992.

D. Nelson, Constructible falsity, The Journal of Symbolic Logic, vol.3, issue.01, pp.16-26, 1949.
DOI : 10.1007/BF01565439

G. Plotkin, A structural approach to operational semantics, 1981.

E. L. Post, Introduction to a General Theory of Elementary Propositions, American Journal of Mathematics, vol.43, issue.3, pp.163-185, 1921.
DOI : 10.2307/2370324

P. Alexej and . Pynko, Algebraic study of sette's maximal paraconsistent logic, Studia Logica, vol.54, issue.1, pp.89-128, 1995.

A. Ressouche and D. Gaffé, Compilation Modulaire d'un Langage Synchrone Revue des sciences et technologies de l'information, série Théorie et, Science Informatique, vol.4, issue.30, pp.441-471, 2011.

A. Ressouche, D. Gaffé, and V. Roy, Modular Compilation of a Synchronous Language, Software Engineering Research, Management and Applications, pp.151-171, 2008.
DOI : 10.1007/978-3-540-70561-1_12
URL : https://hal.archives-ouvertes.fr/inria-00213472

A. Ressouche, D. Gaffé, and V. Roy, Modular Compilation of a Synchronous Language, 2008.
DOI : 10.1007/978-3-540-70561-1_12
URL : https://hal.archives-ouvertes.fr/inria-00213472

K. Schneider, J. Brandt, and T. Schuele, Causality analysis of synchronous programs with delayed actions, Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems , CASES '04, pp.179-189, 2004.
DOI : 10.1145/1023833.1023859

D. S. Scott, Logic and programming languages, Communications of the ACM, vol.20, issue.9, pp.634-641, 1977.
DOI : 10.1145/359810.359826

A. M. Sette, On propositional calculus p1, Mathematica Japonicae, 1973.

B. Sobocinski, Axiomatization of a partial system of three-valued calculus of propositions, The Journal of Computing Systems, vol.1, pp.23-55, 1952.

D. Vakarelov, Notes on N-lattices and constructive logic with strong negation, Studia Logica, vol.46, issue.1-2, pp.109-125, 1977.
DOI : 10.1007/BF02121118