Gödel logic: From natural deduction to parallel computation
暂无分享,去创建一个
Federico Aschieri | Agata Ciabattoni | Francesco A. Genco | A. Ciabattoni | Federico Aschieri | F. Genco
[1] J. Krivine. Lambda-calcul : types et modèles , 1990 .
[2] David Pearce,et al. Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..
[3] Sara Negri,et al. Proof analysis beyond geometric theories: from rule systems to systems of rules , 2016, J. Log. Comput..
[4] Kazushige Terui,et al. From Axioms to Analytic Rules in Nonclassical Logics , 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
[5] Michel Parigot,et al. Proofs of strong normalisation for second order classical natural deduction , 1997, Journal of Symbolic Logic.
[6] Timothy G. Griffin,et al. A formulae-as-type notion of control , 1989, POPL '90.
[7] Michael Dummett,et al. A propositional calculus with denumerable matrix , 1959, Journal of Symbolic Logic (JSL).
[8] Christian G. Fermüller,et al. A Natural Deduction System for Intuitionistic Fuzzy Logic , 2001 .
[9] D. Gabbay,et al. Proof Theory for Fuzzy Logics , 2008 .
[10] Arnon Avron,et al. Hypersequents, logical consequence and intermediate logics for concurrency , 1991, Annals of Mathematics and Artificial Intelligence.
[11] Frank Pfenning,et al. Session Types as Intuitionistic Linear Propositions , 2010, CONCUR.
[12] D. Prawitz. Natural Deduction: A Proof-Theoretical Study , 1965 .
[13] Arnold Beckmann,et al. Hyper Natural Deduction , 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
[14] Federico Aschieri,et al. On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC , 2016, Log. Methods Comput. Sci..
[15] P. J. Landin. The Mechanical Evaluation of Expressions , 1964, Comput. J..
[16] E. G. K. López-Escobar,et al. Implicational logics in natural deduction systems , 1982, Journal of Symbolic Logic.
[17] William A. Howard,et al. The formulae-as-types notion of construction , 1969 .
[18] D. Prawitz. Ideas and Results in Proof Theory , 1971 .
[19] Jorge Andres Perez-Parra. Higher-Order Concurrency: Expressiveness and Decidability Results , 2010 .
[20] Frank Pfenning,et al. A symmetric modal lambda calculus for distributed computing , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
[21] Robin Milner,et al. Functions as processes , 1990, Mathematical Structures in Computer Science.
[22] J. Girard,et al. Proofs and types , 1989 .
[23] M. Sørensen,et al. Lectures on the Curry-Howard Isomorphism , 2013 .
[24] Agata Ciabattoni,et al. Embedding formalisms: hypersequents and two-level systems of rule , 2016, Advances in Modal Logic.
[25] A. Avron. The method of hypersequents in the proof theory of propositional non-classical logics , 1996 .
[26] Federico Aschieri,et al. On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem , 2016, Theor. Comput. Sci..
[27] Gian Pietro Picco,et al. Understanding code mobility , 1998, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[28] D. Flannanghan. JavaScript: The definitive guide , 1999 .
[29] Nobuko Yoshida,et al. Session typing and asynchronous subtyping for the higher-order π-calculus , 2015, Inf. Comput..
[30] Vincent Danos,et al. Disjunctive Tautologies as Synchronisation Schemes , 2000, CSL.
[31] Richard D. Schlichting,et al. Using message passing for distributed programming: proof rules and disciplines , 1984, TOPL.
[32] J. Dunn,et al. Algebraic Completeness Results for Dummett's LC and Its Extensions , 1971 .
[33] Yoichi Hirai,et al. A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom , 2012, FLOPS.
[34] Roy Dyckhoff,et al. Proof analysis in intermediate logics , 2012, Arch. Math. Log..
[35] Gérard Boudol. Towards a Lambda-Calculus for Concurrent and Communicating Systems , 1989, TAPSOFT, Vol.1.
[36] Philippe de Groote,et al. A Simple Calculus of Exception Handling , 1995, TLCA.
[37] Davide Sangiorgi,et al. The Pi-Calculus - a theory of mobile processes , 2001 .
[38] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.
[39] Philip Wadler,et al. Propositions as types , 2015, Commun. ACM.