Combinators and Structurally Free Logic
暂无分享,去创建一个
[1] Mariangiola Dezani-Ciancaglini,et al. A filter lambda model and the completeness of type assignment , 1983, Journal of Symbolic Logic.
[2] Kosta Dosen,et al. Sequent-systems and groupoid models. I , 1988, Stud Logica.
[3] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..
[4] Vaughan R. Pratt. Action Logic and Pure Induction , 1990, JELIA.
[5] J.F.A.K. van Benthem,et al. Language in Action: Categories, Lambdas and Dynamic Logic , 1997 .
[6] R. Meyer,et al. Algebraic analysis of entailment I , 1972 .
[7] William C. Frederick,et al. A Combinatory Logic , 1995 .
[8] A. Tarski,et al. Boolean Algebras with Operators , 1952 .
[9] Dana S. Scott,et al. Outline of a Mathematical Theory of Computation , 1970 .
[10] Richard Sylvan,et al. The semantics of entailment—II , 1972, Journal of Philosophical Logic.
[11] Nuel D. Belnap,et al. Entailment : the logic of relevance and necessity , 1975 .
[12] J. Lambek. The Mathematics of Sentence Structure , 1958 .
[13] Richard Routley,et al. The Semantics of Entailment. , 1977 .
[14] Gerard Allwein,et al. A Kripke semantics for linear logic , 1993 .
[15] J. Michael Dunn,et al. Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations , 1990, JELIA.
[16] J. Michael Dunn,et al. Relevance Logic and Entailment , 1986 .
[17] A. Church. The calculi of lambda-conversion , 1941 .
[18] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .
[19] M. Stone. Topological representations of distributive lattices and Brouwerian logics , 1938 .
[20] Jean-Yves Girard,et al. Linear Logic , 1987, Theor. Comput. Sci..
[21] Stefano Berardi,et al. A Symmetric Lambda Calculus for Classical Program Extraction , 1994, Inf. Comput..
[22] Kosta Dosen,et al. A Brief Survey of Frames for the Lambek Calculus , 1992, Math. Log. Q..
[23] Patrick Lincoln,et al. Linear logic , 1992, SIGA.
[24] Helena Rasiowa,et al. On the Representation of Quasi-Boolean Algebras , 1957 .
[25] R. Meyer,et al. The semantics of entailment — III , 1973 .