Layman E. Allen. Wff 'n proof. The game of modern logic. Wff 'n proof, New Haven, Conn., 1962, viii + 224 pp. - Layman E. Allen. Wff. The beginner's game of modern logic. Wff 'n proof, New Haven, Conn., 1963, 78 pp [Book Review]

Journal of Symbolic Logic 30 (1):105 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270605

Links

PhilArchive



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

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: Layman E. Allen, Wff 'n Proof. The Game of Modern Logic; Layman E. Allen, Wff. The Beginner's Game of Modern Logic. [REVIEW]F. C. Oglesby - 1965 - Journal of Symbolic Logic 30 (1):105-105.
WFF 'N PROOF: the game of modern logic.Layman E. Allen - 1962 - New Haven, Conn.: Autotelic Instructional Materials Publishers.
Layman E. Allen. Propositional calculi. MULL, vol. 59 no. S , pp. 4–14. - Layman E. Allen. Alethic logic. MULL, vol. 59 no. D , pp. 33–42. - Layman E. Allen. Deontic logic. MULL, vol. 60 no. M , pp. 13–27. - Layman E. Allen. Note on simplifying the reiteration rule. MULL, vol. 59 no. D , p. 42. - Layman E. Allen. Note on the use of definitions to justify steps in proofs. MULL, vol. 59 no. D , pp. 42–44. [REVIEW]W. W. Waddell - 1964 - Journal of Symbolic Logic 29 (1):44-46.
Review: Layman E. Allen, Toward More Clarity in Business Communication by Modern Logical Methods; Layman E. Allen, Toward a Procedure for Logically Cataloguing Knowledge. [REVIEW]Robert F. Barnes - 1970 - Journal of Symbolic Logic 35 (1):162-164.
Layman E. Allen. Toward more clarity in business communication by modern logical methods. Management science, vol. 5 , pp. 121–135. - Layman E. Allen. Toward a procedure for logically cataloguing knowledge. American documentation, vol. 10 , pp. 296–315. [REVIEW]Robert F. Barnes - 1970 - Journal of Symbolic Logic 35 (1):162-164.
A Relationship Among Gentzen's Proof‐Reduction, Kirby‐Paris' Hydra Game and Buchholz's Hydra Game.Masahiro Hamano & Mitsuhiro Okada - 1997 - Mathematical Logic Quarterly 43 (1):103-120.
Giles’s Game and the Proof Theory of Łukasiewicz Logic.Christian G. Fermüller & George Metcalfe - 2009 - Studia Logica 92 (1):27 - 61.
Proof and refutation in MALL as a game.Olivier Delande, Dale Miller & Alexis Saurin - 2010 - Annals of Pure and Applied Logic 161 (5):654-672.
Proof theory of classical and intuitionistic logic.Jan von Plato - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
Layman E. Allen. Symbolic logic: A razor-edged tool for drafting and interpreting legal documents. Yale law journal, vol. 66 , pp. 833–879. - Layman E. Allen and Gabriel Orechkoff. Toward a more systematic drafting and interpreting of the internal revenue code: Expenses, losses and bad debts. The University of Chicago law review, vol. 25 , pp. 1–62. [REVIEW]Nicholas A. Vonneuman - 1964 - Journal of Symbolic Logic 29 (1):43-44.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
Toward More Clarity in Business Communication by Modern Logical Methods.Layman E. Allen - 1970 - Journal of Symbolic Logic 35 (1):162-164.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.

Analytics

Added to PP
2016-06-30

Downloads
26 (#625,600)

6 months
4 (#845,567)

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