The Logic of Program Composition

Journal of Symbolic Logic 22 (1):102-103 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964106

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: H. B. Curry, The Logic of Program Composition. [REVIEW]George W. Patterson - 1957 - Journal of Symbolic Logic 22 (1):102-103.
How complicated is the set of stable models of a recursive logic program?W. Marek, A. Nerode & J. Remmel - 1992 - Annals of Pure and Applied Logic 56 (1-3):119-135.
Nonstandard Runs And Program Verification.Laszlo Csirmaz - 1981 - Bulletin of the Section of Logic 10 (2):68-77.
A Curious Dialogical Logic and its Composition Problem.Sara L. Uckelman, Jesse Alama & Aleks Knoks - 2014 - Journal of Philosophical Logic 43 (6):1065-1100.
Reducing dynamic epistemic logic to pdl by program transformation.Jan van Eijck - unknown
Why Critical Thinking Should Be Combined With Written Composition.Donald L. Hatcher - 1999 - Informal Logic 19 (2).
Argument, Logic, and Reasoning in Composition: Implications Within Toulmin's Model and Feminist Understandings.Keith Stallings Lloyd - 1996 - Dissertation, University of Louisville
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993.Yves Deville - 1994 - Springer.
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991.Timothy P. Clement & Kung-Kiu Lau - 1992 - Springer.
A Constructive Logic Of Program Schemata On A Decidable Universe.N. Nepejvoda - 1988 - Bulletin of the Section of Logic 17 (3-4):138-145.
A Plea for Things That Are Not Quite All There: Or, Is There a Problem about Vague Composition and Vague Existence?Nicholas J. J. Smith - 2005 - Journal of Philosophy 102 (8):381-421.
A New Semantics for Positive Modal Logic.S. Celani & R. Jansana - 1997 - Notre Dame Journal of Formal Logic 38 (1):1-18.
Weakly associative relation algebras with polyadic composition operations.Vera Stebletsova - 2000 - Studia Logica 66 (2):297-323.
Consequences of collapse.Theodore Sider - 2014 - In Donald Baxter & Aaron Cotnoir (eds.), Composition as Identity. Oxford University Press. pp. 211-221.
Tableau reasoning and programming with dynamic first order logic.J. van Eijck, J. Heguiabehere & B. Ó Nualláin - 2001 - Logic Journal of the IGPL 9 (3):411-445.

Analytics

Added to PP
2015-02-05

Downloads
17 (#871,438)

6 months
3 (#981,849)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

‘A Pretence of What is Not’? A Study of Simulation(s) from the ENIAC Perspective.Liesbeth De Mol - 2019 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 27 (4):443-478.
„A pretence of what is not“? Eine Untersuchung von Simulation(en) aus der ENIAC-Perspektive.Liesbeth De Mol - 2019 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 27 (4):443-478.

Add more citations

References found in this work

No references found.

Add more references