Routledge N. A.. Logic on electronic computers: A practical method for reducing expressions to conjunctive normal form. Proceedings of the Cambridge Philosophical Society, vol. 52 , pp. 161–173 [Book Review]

Journal of Symbolic Logic 24 (3):255-255 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963855

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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: N. A. Routledge, Logic on Electronic Computers: A Practical Method for Reducing Expressions to Conjunctive Normal Form. [REVIEW]Robert McNaughton - 1959 - Journal of Symbolic Logic 24 (3):255-255.
Logic on Electronic Computers: A Practical Method for Reducing Expressions to Conjunctive Normal Form.N. A. Routledge - 1959 - Journal of Symbolic Logic 24 (3):255-255.
Normal forms for fuzzy logics: a proof-theoretic approach. [REVIEW]Petr Cintula & George Metcalfe - 2007 - Archive for Mathematical Logic 46 (5-6):347-363.
Review: Thomas H. Mott, Determination of the Irredundant Normal Forms of a Truth Function by Iterated Consensus of the Prime Implicants; D. M. Y. Chang, T. H. Mott, Computing Irredundant Normal Forms from Abbreviated Presence Functions. [REVIEW]A. K. Choudhury - 1967 - Journal of Symbolic Logic 32 (4):541-542.
Proceedings: Fourth Annual Symposium on Logic in Computer Science.Ieee Computer Society - 1989
Herbrand E a silogística ampliada.Frank Thomas Sautter - 2015 - Philósophos - Revista de Filosofia 20 (1):125-144.
Rose Alan. A note on the use of logical computers to determine the most efficient method of using factory machines. Proceedings of the Cambridge Philosophical Society, vol. 56 part 2 , pp. 186–188.Rose Alan. A high speed parallel adder. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 , pp. 240–249. [REVIEW]A. A. Mullin - 1962 - Journal of Symbolic Logic 27 (2):251-251.
N. A. Routledge. Ordinal recursion. Proceedings of the Cambridge Philosophical Society, vol. 49 , pp. 175–182.Clifford Spector - 1959 - Journal of Symbolic Logic 24 (1):69-69.
Formulas in modal logic s4.Katsumi Sasaki - 2010 - Review of Symbolic Logic 3 (4):600-627.
A conjunctive normal form for S3.5.M. J. Cresswell - 1969 - Journal of Symbolic Logic 34 (2):253-255.
Proceedings: June 4-7, 1990, Philadelphia, PA.. 5.Association for Symbolic Logic, Acm Special Interest Group for Automata and Computability Theory, European Association for Theoretical Computer Science & Ieee Computer Society - 1990
Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science: July 15-18, 1991 Amsterdam, The Netherlands.Association for Symbolic Logic, Acm Special Interest Group for Automata and Computability Theory, European Association for Theoretical Computer Science & Ieee Computer Society - 1991
Proceedings: New Brunswick, New Jersey. July 27-30, 1996. 11 (1996).Association for Symbolic Logic, Acm Special Interest Group for Automata and Computability Theory, European Association for Theoretical Computer Science & Ieee Computer Society - 1996
Proceedings of the 1974 International Symposium on Multiple-Valued Logic Morgantown, West Virginia, May 29, 30, 31, 1974.Ieee Computer Society & United States - 1974 - Ieeecs.
Finite and Rational Tree Constraints.Torbjorn Keisu - 1994 - Logic Journal of the IGPL 2 (2):167-204.

Analytics

Added to PP
2016-06-30

Downloads
17 (#863,882)

6 months
2 (#1,185,463)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references